Interlang.Expval of_exp_node : ?origin:Frama_c_kernel.Cil_types.term -> exp_node -> expval of_lval : ?origin:Frama_c_kernel.Cil_types.term -> lval -> expval of_integer : origin:Frama_c_kernel.Cil_types.term -> Z.t -> expval of_sizeof :
origin:Frama_c_kernel.Cil_types.term ->
Frama_c_kernel.Cil_types.typ ->
expval binop :
?origin:Frama_c_kernel.Cil_types.term ->
binop ->
Analyses_types.number_ty ->
exp ->
exp ->
expTransforms a Cil binary operator to an Interlang binary operator. Not all Cil operators are supported (yet).