Frama-C API - Exp
val of_exp_node : ?origin:Frama_c_kernel.Cil_types.term -> Interlang.exp_node -> Interlang.expval of_lval : ?origin:Frama_c_kernel.Cil_types.term -> Interlang.lval -> Interlang.expval of_integer : origin:Frama_c_kernel.Cil_types.term -> Z.t -> Interlang.expval of_sizeof : origin:Frama_c_kernel.Cil_types.term -> Frama_c_kernel.Cil_types.typ -> Interlang.exp