module Ast = Ast_phpmodule ISet : sig ... endmodule IMap : sig ... endmodule SSet : sig ... endmodule SMap : sig ... endtype code_database = {funs : string -> Ast.func_def;classes : string -> Ast.class_def;constants : string -> Ast.constant_def;}type value = | Vbool of bool| Vint of int| Vfloat of float| Vstring of string| Vabstr of type_| Vnull| Vrecord of value SMap.t| Varray of value list| Vmap of value * value| Vmethod of value * (env -> heap -> Ast.expr list -> heap * value) IMap.t| Vobject of value SMap.t| Vsum of value list| Vptr of int| Vref of ISet.t| Vtaint of string| Vanymodule type TAINT = sig ... endval empty_heap : heapval empty_env : code_database -> string -> env