package ordering

You can search for identifiers within the package.

in-package search v0.2.0

Element ordering

Install

sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce

sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52

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