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