package refl

  1. Overview
  2. Docs
module Refl : sig ... end
type unit__structure = [
  1. | `Name of [ `Constr of [ `Constructor of [ `Tuple of unit ] * unit ] ref ]
]
type unit__arity = [
  1. | `Zero
]
type unit__rec_group = (unit__arity * unit__structure) * unit
type Refl.refl +=
  1. | Name_unit : unit Refl.refl
type unit__kinds = [
  1. | `Constr
  2. | `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 =
  1. | []
  2. | :: of 'a * 'a list
type ('a, 'b) result = ('a, 'b) Stdcompat.Stdlib.result =
  1. | Ok of 'a
  2. | Error of 'b
type 'a option = 'a Stdcompat.Option.t =
  1. | None
  2. | Some of 'a
type 'a ref = 'a Stdcompat.Stdlib.ref = {
  1. mutable contents : 'a;
}