Ast.IdNode
module Sub : sig ... end
include sig ... end with type t__kinds := Sub.t__kinds
type 'a t
= 'a
type t__kinds
[
|
`Lazy
`Variable
]
val from_fun : (unit -> 'a) -> 'a
val from_val : 'a -> 'a
val force : 'a -> 'a