package ordering

  1. Overview
  2. Docs
Element ordering

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.4.1.tbz
sha256=299fa33cffc108cc26ff59d5fc9d09f6cb0ab3ac280bf23a0114cfdc0b40c6c5
sha512=cb425d08c989fd27e1a87a6c72f37494866b508b0fe4ec05070adad995a99710b223a9047b6649776f63943dafb61903eefe4d5efde4c439103a89e2d6ff5337

doc/ordering/Ordering/index.html

Module OrderingSource

Element ordering

Sourcetype t =
  1. | Lt
    (*

    Lesser than

    *)
  2. | Eq
    (*

    Equal

    *)
  3. | Gt
    (*

    Greater than

    *)
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