sig
  type t = unit
  val string_of : t -> string
  val of_string : string -> t
  val compare : t -> t -> int
  val print : 'a BatInnerIO.output -> unit -> unit
end