module T:sig..end
type ('p, 'r) record = {
|
name : |
|
module_path : |
|
fields : |
|
iso : |
|
unboxed : |
name, a list of fields and an isomorphism iso
between the product of the fields' types and the record type.