(* Defines a general ordering type *)
type order = Equal | Less | Greater