sig
  type t = { time : float; states : int; trans : int; occs : int; }
  val init : t0:float -> states:int -> trans:int -> occs:int -> Stats.t
  val descr : Stats.t -> (string * string * bool) list
  val to_string : Stats.t -> string
  val to_json : Stats.t -> string
end