package ordering

You can search for identifiers within the package.

in-package search v0.2.0

Element ordering

Install

sha256=08a0c6c9521604e60cf36afba036ecf1b107df51eed14a2fb7eef6cfdd2bf278

sha512=71b94cb7cad4c6f998da5bd59fe3c6d0b4a4188896ae04aa0ffff7142ced0b93bce3a88c3b5b7b7c8c948d10ccfb2fb81fcf764aa421b595e061ac3049fa8870

Element ordering

Sourcetype t =

Sourceval of_int : int -> t

Sourceval to_int : t -> int

Sourceval to_string : t -> string

returns the string representation. one of: "<", "=", ">"

Sourceval is_eq : t -> bool

Sourceval min : ('a -> 'a -> t) -> 'a -> 'a -> 'a

Sourceval max : ('a -> 'a -> t) -> 'a -> 'a -> 'a

Sourcemodule O : sig ... end