Module `Compare.Ord`

Parameters

E : Interface.ORD

Signature

module Ordering_Functions : sig ... end

val (<|=) : E.t -> E.t -> bool
val (>|=) : E.t -> E.t -> bool
val reflexivity : E.t -> bool
val antisymmetry : E.t -> E.t -> bool
val transitivity : E.t -> E.t -> E.t -> bool