Fix.HashCons
val id : 'data cell -> int
val data : 'data cell -> 'data
val hash : 'data cell -> int
module type SERVICE = sig ... end
module ForHashedType (T : Hashtbl.HashedType) : sig ... end
module ForHashedTypeWeak (T : Hashtbl.HashedType) : sig ... end