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