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