Module Import0.Int_replace_polymorphic_compare
val (<) : int -> int -> boolval (<=) : int -> int -> boolval (<>) : int -> int -> boolval (=) : int -> int -> boolval (>) : int -> int -> boolval (>=) : int -> int -> boolval compare : int -> int -> intval ascending : int -> int -> intval descending : int -> int -> intval equal : int -> int -> boolval max : int -> int -> intval min : int -> int -> int