package KaSim

  1. Overview
  2. Docs
type t = {
  1. mutable consecutive : int;
  2. mutable no_more_binary : int;
  3. mutable no_more_unary : int;
  4. mutable clashing_instance : int;
  5. mutable time_correction : int;
}
val write_t : Bi_outbuf.t -> t -> unit
val string_of_t : ?len:int -> t -> string
val t_of_string : string -> t
OCaml

Innovation. Community. Security.