Weak.Make(3o) on Linux

The text e94dba8241b5, as Debian 12 (Bookworm) shipped it.

Functor building an implementation of the weak hash set structure.

Weak.Make(3o) on Linux now