package refl

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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;

}