sig
type t = {
mutable consecutive : int;
mutable no_more_binary : int;
mutable no_more_unary : int;
mutable clashing_instance : int;
mutable time_correction : int;
}
val write_t : Bi_outbuf.t -> Counter.Efficiency.t -> unit
val string_of_t : ?len:int -> Counter.Efficiency.t -> string
val read_t :
Yojson.Safe.lexer_state -> Lexing.lexbuf -> Counter.Efficiency.t
val t_of_string : string -> Counter.Efficiency.t
end