Module Refl.BuiltinsSource

Sourcemodule Refl : sig ... end
Sourcetype unit__structure = [
  1. | `Name of [ `Constr of [ `Constructor of [ `Tuple of unit ] * unit ] ref ]
]
Sourcetype unit__arity = [
  1. | `Zero
]
Sourcetype unit__rec_group = (unit__arity * unit__structure) * unit
Sourcetype Refl.refl +=
  1. | Name_unit : unit Refl.refl
Sourcetype unit__kinds = [
  1. | `Constr
  2. | `Name
]
Sourcetype unit__gadt = unit
Sourceval unit_refl : (unit, unit__structure, 'arity, unit__rec_group, [> unit__kinds ], unit, unit, unit, unit) Refl.desc
Sourcetype 'a list = 'a Stdcompat.List.t =
  1. | []
  2. | :: of 'a * 'a list
Sourcetype ('a, 'b) result = ('a, 'b) Stdcompat.Stdlib.result =
  1. | Ok of 'a
  2. | Error of 'b
Sourcetype 'a option = 'a Stdcompat.Option.t =
  1. | None
  2. | Some of 'a
Sourcetype 'a ref = 'a Stdcompat.Stdlib.ref = {
  1. mutable contents : 'a;
}