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
= [
]
type t__structure
type t__rec_group
= (t__arity * t__structure) Stdcompat.ref
type t__kinds
= [
]
type 'a0 t__gadt
= unit
type Refl.refl +=
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