package ordering

  1. Overview
  2. Docs
Element ordering

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-3.21.1.tbz
sha256=84f7a82c6d80a7124f3847e9a489e80cfbeafb7bed3573ac01286ef56fd08d94
sha512=d9fa44e24036d2593adfe59e52e0ad64f3e7e973d23f84af57fc79e38fa210630b0cb55590f314d6ef455333b96a8e0ce188c2720eaae44576222541ba78efb3

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
Sourceval reverse : ('a -> 'a -> t) -> 'a -> 'a -> t

reverse cmp takes a comparison function cmp and returns a new comparison function whose comparisons are the opposite of that of cmp.

Sourcemodule O : sig ... end