Module Pattern.PreEnv

type t
type stat = {
stat_nodes : int;
stat_nav_steps : int;
}
val sigs : t -> Kappa_mixtures.Signature.s
val of_env : Env.t -> t
val empty : Kappa_mixtures.Signature.s -> t
val debug_print : Format.formatter -> t -> unit