Module Abstract_interpreter_php_helpers

module A = Ast_php
module Env = Env_interpreter_php
module Utils : sig ... end
module Ptr : sig ... end
module Var : sig ... end
module Order : sig ... end
module Unify : sig ... end
module NullNewVars : sig ... end
module Copy : sig ... end
module IsLvalue : sig ... end
val unw : ('a * 'b) -> 'a
val w : string -> string * Parse_info.t
val fake : string -> Parse_info.t
val save_excursion : Env.env -> 'a -> (Env_interpreter_php.env -> 'a -> 'b -> 'c) -> 'b -> unit