Frama-C API - Functions
val iter : (Frama_c_kernel.Cil_types.kernel_function -> unit) -> unitval key : Frama_c_kernel.Cil_types.kernel_function -> stringval array : Frama_c_kernel.Cil_types.kernel_function States.array
Frama-C Frama-C Functionsval iter : (Frama_c_kernel.Cil_types.kernel_function -> unit) -> unitval key : Frama_c_kernel.Cil_types.kernel_function -> stringval array : Frama_c_kernel.Cil_types.kernel_function States.array