Frama-C API - Build
val zero : Eva_ast_types.expval one : Eva_ast_types.expval int : ikind:Frama_c_kernel.Cil_types.ikind -> int -> Eva_ast_types.expval float : fkind:Frama_c_kernel.Cil_types.fkind -> float -> Eva_ast_types.expval integer : ikind:Frama_c_kernel.Cil_types.ikind -> Frama_c_kernel.Z.t -> Eva_ast_types.expval bool : bool -> Eva_ast_types.expval cast : Eva_ast_types.typ -> Eva_ast_types.exp -> Eva_ast_types.expval add : Eva_ast_types.exp -> Eva_ast_types.exp -> Eva_ast_types.expval div : Eva_ast_types.exp -> Eva_ast_types.exp -> Eva_ast_types.expval eq : Eva_ast_types.exp -> Eva_ast_types.exp -> Eva_ast_types.expval ne : Eva_ast_types.exp -> Eva_ast_types.exp -> Eva_ast_types.expval index : Eva_ast_types.lval -> Eva_ast_types.exp -> Eva_ast_types.lvalval field : Eva_ast_types.lval -> Frama_c_kernel.Cil_types.fieldinfo -> Eva_ast_types.lvalval mem : Eva_ast_types.exp -> Eva_ast_types.lvalval var : Frama_c_kernel.Cil_types.varinfo -> Eva_ast_types.lvalval var_exp : Frama_c_kernel.Cil_types.varinfo -> Eva_ast_types.expval var_addr : Frama_c_kernel.Cil_types.varinfo -> Eva_ast_types.expval lval : Eva_ast_types.lval -> Eva_ast_types.exp