package clangml

  1. Overview
  2. Docs
type 'a t
val t__variable_positive0 : 'a -> 'b -> 'a
val t__variable_negative0 : 'a -> 'b -> 'b
val t__variable_direct0 : 'a -> 'b -> 'a
type ('present, 'unknown) t__variable_positive0 = 'present
type ('present, 'unknown) t__variable_negative0 = 'unknown
type ('present, 'unknown) t__variable_direct0 = 'present
type t__arity = [
  1. | `Succ of [ `Zero ]
]
type t__structure
type t__rec_group = (t__arity * t__structure) Stdcompat.ref
type t__kinds = [
  1. | `Lazy
  2. | `Variable
]
type 'a0 t__gadt = unit
type Refl.refl +=
  1. | Refl_t : 'a0 t Refl.refl
val t_refl : ('a0 t, t__structure, 'a0 * unit, t__rec_group, [> t__kinds ], ([ `Present ], [ `Absent ]) t__variable_positive0 * unit, ([ `Present ], [ `Absent ]) t__variable_negative0 * unit, ([ `Present ], [ `Absent ]) t__variable_direct0 * unit, 'a0 t__gadt) Refl.desc
val from_fun : (unit -> 'a) -> 'a t
val from_val : 'a -> 'a t
val force : 'a t -> 'a
OCaml

Innovation. Community. Security.