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