Frama-C API - Cvalue_init
val initialize_var_using_type : Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cvalue.Model.t -> Frama_c_kernel.Cvalue.Model.t
Frama-C Frama-C Cvalue_initval initialize_var_using_type : Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cvalue.Model.t -> Frama_c_kernel.Cvalue.Model.t