module Desc: Generic_core_desc
A record type is described as a set of fields, each field is described by its name, type and a procedure to update its value if it is mutable.
To complete the description of a record type, it is
associated to a product type and an isomorphism to
convert between the record and the product.
module Field:sig
..end
module Fields:sig
..end
module Record:sig
..end
module Con:sig
..end
module Variant:sig
..end
module Ext:sig
..end
module Poly:sig
..end
module Method:sig
..end
module Object:sig
..end
module Class:sig
..end
module Array:sig
..end
module Custom:sig
..end
A low level generic view of ocaml types. Types fall in nine
categories each with its specific description.
module T:sig
..end
T
to bring constructor names in scope, typically for pattern-matching.
type'a
desc ='a T.desc
=
| |
Array : |
| |
Product : |
| |
Record : |
| |
Synonym : |
| |
Variant of |
| |
Extensible of |
| |
Custom of |
| |
Class of |
| |
Abstract |
| |
NoDesc |
type'a
t ='a T.desc