MoreLabels.Map.OrderedType(3)

✨ NAME ✨

okay so welcome to MoreLabels.Map.OrderedType(3), straight out of the OCaml library manual, bestie. 🫶 This one is MoreLabels.Map.OrderedType — the input signature of the functor MoreLabels.Map.Make. that's the whole assignment. 💅

🎀 Module type 🎀

Module type MoreLabels.Map.OrderedType

💖 Documentation 💖

Module type OrderedType
 = sig end

It's giving “input signature of the functor MoreLabels.Map.Make.” literally that. no extra lore. 🌸

• type t — the type of the map keys. yes queen, this is the key type. 👑
• val compare : t -> t -> int — a total ordering function over the keys. it's 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
  • f e1 e2 is strictly positive if e1 is greater than e2

Example: a suitable ordering function is the generic structural comparison function compare. periodt, that's the example, and it ate. 🔥

---

mwah 💋 this iconic little page was served up by OCamldoc on 2026-06-22. don't forget to stan your ordering functions. 🦋