type ordering = Equal | Smaller | Greater

val of_int : int -> ordering