module Assigns:sig
..end
exception NoAssigns
val get_assigns_from : loc:Cil_types.location ->
Env.t ->
Cil_types.logic_var list -> Cil_types.logic_var -> Cil_types.exp list
val get_gmp_integer : loc:Cil_types.location -> Cil_types.varinfo -> Cil_types.exp