Up

Module Comparable

Signature

module type S = Comparable_intf.S
val lexicographic : ('a -> 'a -> int) list -> 'a -> 'a -> int

lexicographic cmps x y compares x and y lexicographically using functions in the list cmps.

module Inherit (C : sig .. end) (T : sig .. end) : S with type t := T.t
Inherit comparability from a component.
module Make (T : sig .. end) : S with type t := T.t
Usage example:
module Make_using_comparator (T : sig .. end) : S with type t := T.t with type comparator_witness := T.comparator_witness
module Make_binable (T : sig .. end) : S_binable with type t := T.t
module Make_binable_using_comparator (T : sig .. end) : S_binable with type t := T.t with type comparator_witness := T.comparator_witness
module Map_and_set_binable (T : sig .. end) : Map_and_set_binable with type t := T.t
module Poly (T : sig .. end) : S with type t := T.t
module Validate (T : sig .. end) : Validate with type t := T.t
module With_zero (T : sig .. end) : With_zero with type t := T.t
module Validate_with_zero (T : sig .. end) : sig .. end
module Check_sexp_conversion (M : sig .. end) : sig .. end
Check_sexp_conversion checks that conversion of a map or set to a sexp uses the same sexp conversion as the underlying element.