C | |
| content [Record] | |
E | |
| equal [Record.Polid] |
Type constraint which is conditioned on identifier equality.
|
L | |
| layout [Record] |
The representation of record types.
|
S | |
| s [Record.Safe.LAYOUT] | |
T | |
| t [Record.Polid] |
The type of identifiers associated to type
'a.
|
| t [Record.Field] |
A field of type
'a within a 's layout.
|
| t [Record.Type] |
How to convert a type to and from JSON.
|
| t [Record] |
The representation of record values.
|