include Base.Comparisons.Infix with type t := Make(S1)(S2).t
val (>=) : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val (<=) : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val (=) : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val (>) : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val (<) : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val (<>) : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val equal : Make(S1)(S2).t -> Make(S1)(S2).t -> bool
val compare : Make(S1)(S2).t -> Make(S1)(S2).t -> int
compare t1 t2
returns 0 ift1
is equal tot2
, a negative integer ift1
is less thant2
, and a positive integer ift1
is greater thant2
.
val min : Make(S1)(S2).t -> Make(S1)(S2).t -> Make(S1)(S2).t
val max : Make(S1)(S2).t -> Make(S1)(S2).t -> Make(S1)(S2).t