Odoc_model_desc.Type_desc
type 'a t =
| Record : 'a field list -> 'a t |
| Variant : ('a -> case) -> 'a t |
| Pair : 'a t * 'b t -> ('a * 'b) t |
| Triple : 'a t * 'b t * 'c t -> ('a * 'b * 'c) t |
| List : 'a t -> 'a list t |
| Option : 'a t -> 'a option t |
| To_string : ('a -> string) -> 'a t |
| 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.
val bool : bool t
val string : string t
val int : int t