sig
val backward_binop :
typ_res:Cil_types.typ ->
res_value:Cvalue.V.t ->
typ_e1:Cil_types.typ ->
Cvalue.V.t ->
Cil_types.binop -> Cvalue.V.t -> (Cvalue.V.t * Cvalue.V.t) option
val backward_unop :
typ_arg:Cil_types.typ ->
Cil_types.unop -> arg:Cvalue.V.t -> res:Cvalue.V.t -> Cvalue.V.t option
val backward_cast :
src_typ:Cil_types.typ ->
dst_typ:Cil_types.typ ->
src_val:Cvalue.V.t -> dst_val:Cvalue.V.t -> Cvalue.V.t option
end