Module Cil_datatype.Int_hashtbl


module Int_hashtbl: Hashtbl  with type 'a t = 'a Inthash.t and type key = int