sig
val
iter_on_callers :
(
Cil_datatype
.
Kf
.t
->
unit)
->
Cil_datatype
.
Kf
.t
->
unit
end