Imandrakit.Gen_id
Generate integer IDs
module type S = sig ... end
Generative identifiers for groups
module Make () : S