module Free: sig .. end
sig
end
val find_all : Cil_types.kernel_function -> Cil_types.stmt list
Cil_types.kernel_function -> Cil_types.stmt list
free
kf
val remove_all : Cil_types.kernel_function -> unit
Cil_types.kernel_function -> unit
Remove all free stmts for kf from the internal table.