MoreLabels.Hashtbl.S(3)

💅 MoreLabels.Hashtbl.S(3) 💅

okay so, bestie, we are deep in the OCaml library manual and this page is giving signature-only, no-drama, all-structure energy. It’s MoreLabels.Hashtbl.S(3), and the whole point is that this is the output signature of the functor MoreLabels.Hashtbl.Make. no cap. 🫶

---

🌸 NAME 🌸

MoreLabels.Hashtbl.S — the output signature of the functor MoreLabels.Hashtbl.Make. That’s the whole name section, and it ate. 💅

---

🎀 Module type 🎀

Module type   MoreLabels.Hashtbl.S

that’s the module type in question, iconic. ✨

---

✨ Documentation ✨

💖 Module type S 💖

Module type S
 = sig end

The output signature of the functor MoreLabels.Hashtbl.Make.

Here’s the whole cast, in order, with every signature exactly as written. periodt. 🎀

• type key — the key type, exactly as written. 🦋
• type !'a t — the 'a t type, with the ! exactly where the original puts it. no notes added. ✨
• val create : int -> 'a t — takes an int and returns an 'a t. that’s the signature, bestie. 💖
• val clear : 'a t -> unit — takes an 'a t and returns unit. 🌸
• val reset : 'a t -> unit — same unit-returning energy. Since 4.00. 🫶
• val copy : 'a t -> 'a t — 'a t in, 'a t out. 💅
• val add : 'a t -> key:key -> data:'a -> unit — takes 'a t, labelled key:key, labelled data:'a, and returns unit. 💖
• val remove : 'a t -> key -> unit — takes 'a t and key, returns unit. 🎀
• val find_and_remove : 'a t -> key -> 'a option — takes 'a t and key, returns 'a option. Since 5.5. 🦋
• val find : 'a t -> key -> 'a — takes 'a t and key, returns 'a. ✨
• val find_opt : 'a t -> key -> 'a option — takes 'a t and key, returns 'a option. Since 4.05. 🌸
• val find_all : 'a t -> key -> 'a list — takes 'a t and key, returns 'a list. 💅
• val replace : 'a t -> key:key -> data:'a -> unit — takes 'a t, labelled key:key, labelled data:'a, and returns unit. 💖
• val find_and_replace : 'a t -> key:key -> data:'a -> 'a option — takes 'a t, labelled key:key, labelled data:'a, and returns 'a option. Since 5.5. 🎀
• val mem : 'a t -> key -> bool — takes 'a t and key, returns bool. 🦋
• val iter : f:(key:key -> data:'a -> unit) -> 'a t -> unit — takes a function f with labelled key:key and data:'a, then an 'a t, and returns unit. ✨
• val filter_map_inplace — the whole signature is a two-liner, exactly:

val filter_map_inplace : f:(key:key -> data:'a -> 'a option) -> 'a t ->
unit

Since 4.03. 🌸

• val fold — another two-liner, line break and all:

val fold : f:(key:key -> data:'a -> 'acc -> 'acc) -> 'a t -> init:'acc
-> 'acc

that’s the full signature. 💅

• val length : 'a t -> int — takes an 'a t and returns an int. 💖
• val stats : 'a t -> MoreLabels.Hashtbl.statistics — takes an 'a t and returns MoreLabels.Hashtbl.statistics. Since 4.00. 🎀
• val to_seq : 'a t -> (key * 'a) Seq.t — takes an 'a t and returns a (key * 'a) Seq.t. Since 4.07. 🦋
• val to_seq_keys : 'a t -> key Seq.t — takes an 'a t and returns a key Seq.t. Since 4.07. ✨
• val to_seq_values : 'a t -> 'a Seq.t — takes an 'a t and returns an 'a Seq.t. Since 4.07. 🌸
• val add_seq : 'a t -> (key * 'a) Seq.t -> unit — takes an 'a t and a (key * 'a) Seq.t, returns unit. Since 4.07. 💅
• val replace_seq : 'a t -> (key * 'a) Seq.t -> unit — takes an 'a t and a (key * 'a) Seq.t, returns unit. Since 4.07. 💖
• val of_seq : (key * 'a) Seq.t -> 'a t — takes a (key * 'a) Seq.t and returns an 'a t. Since 4.07. 🎀

---

mwah 💖 — that’s the whole page, bestie. This cutie was brought to you by OCamldoc, dated 2026-06-22, and it’s still MoreLabels.Hashtbl.S(3) at the very end. periodt. 🫶