val bool : bool ->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag
val cast :
Frama_c_kernel.Cil_types.typ->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag
val add :
Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag
val div :
Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag
val eq :
Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag
val ne :
Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag
val index :
(Eva__.Eva_ast_types.lhost * Eva__.Eva_ast_types.offset)Eva__.Eva_ast_types.tag->Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->(Eva__.Eva_ast_types.lhost * Eva__.Eva_ast_types.offset)Eva__.Eva_ast_types.tag
val field :
(Eva__.Eva_ast_types.lhost * Eva__.Eva_ast_types.offset)Eva__.Eva_ast_types.tag->Frama_c_kernel.Cil_types.fieldinfo->(Eva__.Eva_ast_types.lhost * Eva__.Eva_ast_types.offset)Eva__.Eva_ast_types.tag
val mem :
Eva__.Eva_ast_types.exp_nodeEva__.Eva_ast_types.tag->(Eva__.Eva_ast_types.lhost * Eva__.Eva_ast_types.offset)Eva__.Eva_ast_types.tag