Frama-C API - Exp
val 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 -> Frama_c_kernel.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).