Module Mavryk_benchmark_001_PtAtLas.State_space

val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
type node_statistics = {
  1. mutable size : int;
  2. mutable bytes : int;
  3. mutable holes : int;
  4. mutable depth : int;
}
val pp_statistics : Stdlib.Format.formatter -> node_statistics -> unit
val statistics : t -> node_statistics
val pp : Stdlib.Format.formatter -> t -> unit