Kernel_ast.Functions
val iter : ( Frama_c_kernel.Cil_types.kernel_function -> unit ) -> unit
val key : Frama_c_kernel.Cil_types.kernel_function -> string
val array : Frama_c_kernel.Cil_types.kernel_function States.array