E_ACSL.Assigns
val get_assigns_from :
loc:Frama_c_kernel.Cil_types.location ->
Env.t ->
Frama_c_kernel.Cil_types.logic_var list ->
Frama_c_kernel.Cil_types.logic_var ->
Frama_c_kernel.Cil_types.exp list
val get_assigned_var :
loc:Frama_c_kernel.Cil_types.location ->
is_gmp:bool ->
Frama_c_kernel.Cil_types.varinfo ->
Frama_c_kernel.Cil_types.term