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.