MoreLabels.Set.OrderedType(3)

💖 NAME 💖

okay so this page is MoreLabels.Set.OrderedType(3) from the OCaml library, and it is literally the input signature of the functor MoreLabels.Set.Make. no cap. It's giving "small but crucial module type energy" and we're obsessed. 🫶

🧩 Module type 🧩

The module type is MoreLabels.Set.OrderedType. slay. ✨

📖 Documentation 📖

Here's the actual OrderedType situation, bestie:

Module type OrderedType
 = sig end

This whole thing is the input signature of the functor MoreLabels.Set.Make . iconic. 🌈

• type t — The type of the set elements. main character type, fr fr. 👑
• val compare : t -> t -> int — A total ordering function over the set elements. This is a two-argument function f such that f e1 e2 is zero if the elements 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. periodt. 💅

The vibe check here is real: zero means equal, strictly negative means e1 is smaller than e2, and strictly positive means e1 is greater than e2. That's the total-ordering tea, no cap. ☕

---

Source/version: OCamldoc · date: 2026-06-22 — that's the whole page, bestie. bye 🫶💖