Ephemeron.SeededS(3)

💖 Ephemeron.SeededS(3) 💖

ok so this is a page from the OCaml library manual, bestie, and it's a module type page — which means it's basically the blueprint/vibe check for a module, not the module itself. no cap. 🎀

---

✨ NAME ✨

Ephemeron.SeededS — it's giving "the output signature of the functors Ephemeron.K1.MakeSeeded and Ephemeron.K2.MakeSeeded." that's literally the whole assignment 💅

---

🌸 Module type 🌸

So the thing being documented here is:

Module type Ephemeron.SeededS

like, not a value, not a function — a module type. main character energy honestly 👑

---

🦋 Documentation 🦋

ok so here's the whole definition, laid out:

Module type SeededS
 = sig end

yep that's what the page says — it's shown as an empty sig end shell, because the docs are just listing the signature's contents below. no, I'm not making that up, that's what's printed. 🫶

And to be super clear about what it is: it's the output signature of the functors Ephemeron.K1.MakeSeeded and Ephemeron.K2.MakeSeeded. ikyk. 🔥

---

🌈 the types 🌈

• ```ocaml type key

the abstract key type, bestie. it's a type, it's called `key`. that's the tea. ⭐

- ```ocaml
type !'a t

the actual ephemeron table type, parameterised over 'a — and note the ! there, it's part of the signature exactly as written, don't come for me, I'm copying it character for character 💀

---

🧚 the vals 🧚

here's every single one, in order, no skips (I would never 🙈):

• val create : ?random:bool -> int -> 'a t — makes you a fresh 'a t. it takes an optional ?random:bool and an int. slay. ✨
• val clear : 'a t -> unit — clears it. returns unit. boom, done. 💜
• val reset : 'a t -> unit — resets it. returns unit. also boom, done. 💜
• val copy : 'a t -> 'a t — copies it, gives you back a 'a t. 🎀
• val add : 'a t -> key -> 'a -> unit — adds a binding from key to 'a. returns unit. 🍓
• val remove : 'a t -> key -> unit — removes the binding for that key. returns unit. bye bestie 👋
• val find : 'a t -> key -> 'a — finds the 'a for your key. gives you the 'a. 🌸
• val find_opt : 'a t -> key -> 'a option — the more chill version, gives you a 'a option instead. 🦋
• val find_all : 'a t -> key -> 'a list — gives you all of them as a 'a list. obsessed. 🔥
• val replace : 'a t -> key -> 'a -> unit — replaces the binding. returns unit. 🌈
• val mem : 'a t -> key -> bool — is this key in here? gives you a bool. yes/no, iconic. ⭐
• val length : 'a t -> int — how many, as an int. 👑
• val stats : 'a t -> Hashtbl.statistics — hands you Hashtbl.statistics, which is the type from Hashtbl, not invented by me, ok 😭
• val add_seq : 'a t -> (key * 'a) Seq.t -> unit — adds a whole (key * 'a) Seq.t of bindings. returns unit. 💅
• val replace_seq : 'a t -> (key * 'a) Seq.t -> unit — replaces with a whole (key * 'a) Seq.t. returns unit. 💅
• val of_seq : (key * 'a) Seq.t -> 'a t — builds you an 'a t out of a (key * 'a) Seq.t. cute. 🧚

---

💀 the two with actual notes 💀

• val clean : 'a t -> unit

remove all dead bindings. Done automatically during automatic resizing.

so like — you can call it yourself, but the table also does it on its own when it resizes. it's giving "I'll handle it, but you can help if you want." periodt. 🫶

• val stats_alive : 'a t -> Hashtbl.statistics

same as Hashtbl.SeededS.stats but only count the alive bindings

so it's the stats situation, but only for the alive ones. ghost bindings don't get counted, we don't associate with them 💀✨

---

🎀 SEE ALSO 🎀

ngl there's no SEE ALSO section on this page, bestie — the only other things it name-drops are the ones above: Ephemeron.K1.MakeSeeded, Ephemeron.K2.MakeSeeded, Hashtbl.statistics, and Hashtbl.SeededS.stats. go read those next, iykyk 🌸

---

ok bye ily, go build something iconic with your ephemerons 💖

this page was brought to you by OCamldoc, dated 2026-06-22 — that's the source/version and date, right there in the sign-off, no cap 🎀✨