Flatten.Package
type t = int
val print : Cudf.universe -> Stdlib.Format.formatter -> int -> unit
val compare : int -> int -> int