Misc.Le_result
The result of a less-than-or-equal comparison
type t =
| Equal
| Less
| 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