sig
  type t = int
  val print : Cudf.universe -> Format.formatter -> int -> unit
  val compare : int -> int -> int
end