Tezos_benchmark_alpha.State_spacetype t = {typing : Tezos_benchmark_type_inference_alpha.Inference.state lazy_t;term : Tezos_benchmark_type_inference_alpha.Mikhailsky.node;}val hash : t -> intval pp_statistics : Stdlib.Format.formatter -> node_statistics -> unitval statistics : t -> node_statisticsval pp : Stdlib.Format.formatter -> t -> unit