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