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