module Component: sig .. end
sig
end
val iter : bool -> (M.key -> unit) -> Db_types.kernel_function -> Cil_types.stmt -> unit
bool -> (M.key -> unit) -> Db_types.kernel_function -> Cil_types.stmt -> unit