package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Interlang.Exp

val of_exp_node : ?origin:Frama_c_kernel.Cil_types.term -> exp_node -> exp
val of_lval : ?origin:Frama_c_kernel.Cil_types.term -> lval -> exp
val of_integer : origin:Frama_c_kernel.Cil_types.term -> Z.t -> exp

Transforms a Cil binary operator to an Interlang binary operator. Not all Cil operators are supported (yet).