kappa-library.terms
Pattern.PreEnv
kappa-library.generic
kappa-library.mixtures
kappa-library.runtime
kappa-library.utils
type t
type stat = {
stat_nodes : int;
stat_nav_steps : int;
}
val sigs : t -> Kappa_site_graphs.Signature.s
val counters_info : t -> Kappa_site_graphs.Counters_info.t
val of_env : Env.t -> t
val empty : Kappa_site_graphs.Signature.s -> Kappa_site_graphs.Counters_info.t -> t
val debug_print : Format.formatter -> t -> unit