PropertyContent Type
Describes property content to the model-message-command-content (MMCC) content system.
Record fields
Record Field | Description |
|
|
Full Usage:
PropertyStatic
Field type: bool
|
|
Full Usage:
PropertyValue
Field type: obj
|
|
Static members
Static member | Description |
Full Usage:
PropertyContent.make static_ lens value
Parameters:
bool
lens : Lens
value : 'a
Returns: PropertyContent
Modifiers: inline Type parameters: 'a |
|