Module Comparator.OperatorsSource

Parameters

module X : S

Signature

Sourcetype t = X.t
Sourceval equal : t -> t -> bool
Sourceval (=) : t -> t -> bool
Sourceval (>=) : t -> t -> bool
Sourceval (>) : t -> t -> bool
Sourceval (<=) : t -> t -> bool
Sourceval (<) : t -> t -> bool
Sourceval (<>) : t -> t -> bool