Module Counter.Efficiency

module Efficiency: sig .. end

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 -> t -> unit

Output a JSON value of type Counter.Efficiency.t.

val string_of_t : ?len:int -> t -> string

Serialize a value of type Counter.Efficiency.t into a JSON string.

len : specifies the initial length of the buffer used internally. Default: 1024.

val read_t : Yojson.Safe.lexer_state -> Lexing.lexbuf -> t

Input JSON data of type Counter.Efficiency.t.

val t_of_string : string -> t

Deserialize JSON data of type Counter.Efficiency.t.