Frama-C API - Callwise
val iter : (Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t -> unit) -> unitval find : Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t
Frama-C Frama-C Callwiseval iter : (Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t -> unit) -> unitval find : Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t