Module Odoc_model_desc.Type_descSource

Sourcetype 'a t =
  1. | Record : 'a field list -> 'a t
  2. | Variant : ('a -> case) -> 'a t
  3. | Pair : 'a t * 'b t -> ('a * 'b) t
  4. | Triple : 'a t * 'b t * 'c t -> ('a * 'b * 'c) t
  5. | List : 'a t -> 'a list t
  6. | Option : 'a t -> 'a option t
  7. | To_string : ('a -> string) -> 'a t
  8. | Indirect : ('a -> 'b) * 'b t -> 'a t

Runtime representation of types. It is only useful for inspecting values, not types, eg. it is possible to write a generic printer but not to deserialize.

Sourceand 'a field =
  1. | F : string * ('a -> 'b) * 'b t -> 'a field
Sourceand case =
  1. | C : string * 'b * 'b t -> case
  2. | C0 : string -> case
Sourceval bool : bool t
Sourceval string : string t
Sourceval int : int t