(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                            XML Query Engine                         *)
(*                                                                     *)
(*  Copyright 2000, Lucent Technologies.                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: path_env.mli,v 1.2 2002/10/13 23:25:51 simeon Exp $ *)

(* This is our famous path environment used for path analysis.
    - Jerome and Amelie *)

type path_env

val empty_path_env : path_env

val add_var_path : path_env -> Xquery_ast.vname -> Path_struct.path_sequence -> path_env

val get_var_path : path_env -> Xquery_ast.vname -> Path_struct.path_sequence

