Module Pattern.PreEnv

type t
type stat = {
  1. stat_nodes : int;
  2. stat_nav_steps : int;
}
val counters_info : t -> Kappa_site_graphs.Counters_info.t
val of_env : Env.t -> t
val debug_print : Stdlib.Format.formatter -> t -> unit