Bimap
A bijective hash map implementation based on a pair of hash tables
module Make (H : Stdlib.Hashtbl.S) : sig ... end
Frama-C