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