aboutsummaryrefslogblamecommitdiffstats
path: root/lib/concepts/Ordering.mli
blob: ab8a3f4e6efa5b517740af1b3c659fa27d2c43c6 (plain) (tree)
1
2
3


                                         
type ordering = Equal | Smaller | Greater

val of_int : int -> ordering