package ordering

You can search for identifiers within the package.

in-package search v0.2.0

Element ordering

Install

sha256=e2d637c9d080318fedf5e71d2a29fb367624f82ac4a26e83df2b3a03550528b8

sha512=586e47ee45cd53a8c13095bde0b47de99aad9462d0a52199362140b5b654ca862597fa9f27f729a8cc594684ac46858848f9fa76f8f06dc8dc8ab8b1186a3295

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