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