sig
  type t = { cnt : int; exp : float; }
  val pp : Format.formatter -> Model_intf.Data.Ord_t.t -> unit
  val show : Model_intf.Data.Ord_t.t -> string
  val compare : Model_intf.Data.Ord_t.t -> Model_intf.Data.Ord_t.t -> int
end