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