Module Flatten.Package


module Package: sig .. end

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