Module type Clang__ast.NodeS

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 = [
| `Succ of [ `Zero ]
]
type t__structure
type t__rec_group = (t__arity * t__structure) Stdcompat.ref
type t__kinds = [
| `Lazy
| `Variable
]
type 'a0 t__gadt = unit
type Refl.refl += Refl_t : 'a0 t Refl.refl
val t_refl : ('a0 tt__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