sig type _ordering = Ordering.t = Less | Equal | Greater end