package ordering

You can search for identifiers within the package.

in-package search v0.2.0

Element ordering

Install

sha256=1a08c708eb3f4346caa1ee814027484900d0e1518582f5c4d53fff6190d5504f

sha512=15cddad51ad6e9d1b71756da9e898a42846c2f320268342a18b8df79fc33383ffdc775c199fbe2a114affb480e0558a8f27492c9c274e6bc6cc86084ecdd543e

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