module Cvalue_init: sig .. end
sig
end
val initialize_var_using_type : Cil_types.varinfo -> Cvalue.Model.t -> Cvalue.Model.t
Cil_types.varinfo -> Cvalue.Model.t -> Cvalue.Model.t
initialize_var_using_type varinfo state
varinfo
state