module KfTopVisi: sig .. end
sig
end
include Cil_datatype.Kf.Hashtbl
val add : 'a * 'b t -> key -> 'b -> unit
'a * 'b t -> key -> 'b -> unit
val find : 'a * 'b t -> key -> 'b
'a * 'b t -> key -> 'b
val set : 'a * unit t -> Kernel_function.Hptset.elt -> unit
'a * unit t -> Kernel_function.Hptset.elt -> unit
val get : 'a * 'b t -> key -> bool
'a * 'b t -> key -> bool