module Pure :
sig
- type t = V of int | A of t * t | L of t
+ type t = V of int | A of t * t | L of t | B
val print : ?l:string list -> t -> string
val lift : int -> t -> t
- val unwind : ?tbl:('a list * t * 'a list as 'a, t) Hashtbl.t -> 'a -> t
val mwhd : (('a * t * ('b list as 'c) as 'b) list as 'a) * t * 'c -> t
+ val omega : bool -> t
+ val diverged : t -> bool
+ val env_of_sigma : int -> (int * t) list -> (('a * t * ('b list as 'c) as 'b) list as 'a)
end
module Scott :