MoreLabels.Map.OrderedType(3) OCaml library MoreLabels.Map.OrderedType(3)

# [NAME](#NAME)

MoreLabels.Map.OrderedType - Input signature of the functor MoreLabels.Map.Make.

# [Module type](#Module_type)

Module type MoreLabels.Map.OrderedType

# [Documentation](#Documentation)

Module type **OrderedType**  
\= **sig end**

Input signature of the functor **MoreLabels.Map.Make** .

*type t*

The type of the map keys.

*val compare* : **t -> t -> int**

A total ordering function over the keys. This is a two-argument function **f** such that **f e1 e2** is zero if the keys **e1** and **e2** are equal, **f e1 e2** is strictly negative if **e1** is smaller than **e2** , and **f e1 e2** is strictly positive if **e1** is greater than **e2** . Example: a suitable ordering function is the generic structural comparison function **compare** .

2026-10-01 OCamldoc

---

Document: MoreLabels.Map.OrderedType(3o) from ocaml 5.5.1-r1 (Chainguard OS)
Source: https://github.com/ocaml/ocaml