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

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

type optim_vars

val all_optimvars : optim_vars

val single_optimvars : Xquery_ast.vname -> optim_vars

val empty_optimvars : optim_vars

val member : Xquery_ast.vname -> optim_vars -> bool

val union : optim_vars -> optim_vars -> optim_vars

val intersection : optim_vars -> optim_vars -> optim_vars

val remove : Xquery_ast.vname -> optim_vars -> optim_vars

