module PreEnv: sig .. end
sig
end
type t
type stat = {
nodes : int;
int
nav_steps : int;
val sigs : t -> Signature.s
t -> Signature.s
val of_env : Pattern.Env.t -> t
Pattern.Env.t -> t
val empty : Signature.s -> t
Signature.s -> t
val debug_print : Format.formatter -> t -> unit
Format.formatter -> t -> unit