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