sig type t = unit = () val equal : Unit.t -> Unit.t -> bool val compare : Unit.t -> Unit.t -> int val to_string : Unit.t -> string end