Module Misc.Le_result

The result of a less-than-or-equal comparison

type t =
  1. | Equal
  2. | Less
  3. | Not_le
val combine : t -> t -> t
val combine_list : t list -> t
val is_le : t -> bool
val is_equal : t -> bool
val less_or_equal : le:('a -> 'a -> bool) -> 'a -> 'a -> t
val equal : le:('a -> 'a -> bool) -> 'a -> 'a -> bool