package ordering

You can search for identifiers within the package.

in-package search v0.2.0

Element ordering

Install

sha256=96bf755da267fb46e4af2dda0db56d5863761589618089c429ff85e0f7f65783

sha512=ce05560a2cff0beb805a259df449b5dbd15420e353cc686a482904b837969bce6f91eedec608ecef4be0ebc232fa013652745a7cc831af1a7f8fe06a391e5488

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