package orsetto
Install
Dune Dependency
Authors
Maintainers
Sources
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1
doc/orsetto.cf/Cf_relations/index.html
Module Cf_relations
Utility relations.
Overview
This module defines convenient signatures for the useful equality and total ordering relations on a monomorphic type.
module type Order = sig ... endModule type defining a type t and a corresponding total ordering function, of the sort generated by Ppx_deriving, which returns the same value as the standard Stdlib.compare function.
Use min (module M: Order) a b to select the minimum of a and b according to the total order M.
Use max (module M: Order) a b to select the maximum of a and b according to the total order M.
module type Equal = sig ... endModule type defining a type t and a corresponding equality relation function, of the sort generated by Ppx_deriving, which returns the same value as the standard Stdlib.(=) operator.
module type Std = sig ... endModule type definining a type t and the corresponding equality and total ordering relation functions, of the sort generated by Ppx_deriving, which return the same value as the standard Stdlib.(=) and Stdlib.compare functions
The equality and total ordering relation for standard integers. Prefer the Stdlib.Int module, if available.
module Extensible : sig ... endA submodule to facilitate relations on extensible types.