Module Spare_marks.KfTopVisi

module KfTopVisi: sig .. end

include Cil_datatype.Kf.Hashtbl
val add : 'a * 'b t -> key -> 'b -> unit
val find : 'a * 'b t -> key -> 'b
val set : 'a * unit t -> Kernel_function.Hptset.elt -> unit
as soon as a TOP function is called, all its callees are called.
val get : 'a * 'b t -> key -> bool