package refl
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Refl : sig ... end
type unit__structure = [
| `Name of [ `Constr of [ `Constructor of [ `Tuple of unit ] * unit ] ref ]
]
type unit__arity = [
| `Zero
]
type unit__rec_group = (unit__arity * unit__structure) * unit
type Refl.refl +=
| Name_unit : unit Refl.refl
type unit__kinds = [
| `Constr
| `Name
]
type unit__gadt = unit
val unit_refl : ( unit, unit__structure, 'arity, unit__rec_group, [> unit__kinds ], unit, unit, unit, unit ) Refl.desc
type 'a list = 'a Stdcompat.List.t =
| []
| :: of 'a * 'a list
type ('a, 'b) result = ( 'a, 'b ) Stdcompat.Stdlib.result =
| Ok of 'a
| Error of 'b
type 'a option = 'a Stdcompat.Option.t =
| None
| Some of 'a
type 'a ref = 'a Stdcompat.Stdlib.ref = {
mutable contents : 'a;
}