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

(* $Id: xaeenv.mli,v 1.3 2002/09/19 00:13:33 simeon Exp $ *)

open Datamodel
open Sym
open Xquery_ast

(* Eval environment *)

type eenv

val generate_eenv: cquery_module -> eenv

val addevar: (eenv * vname * _InstanceForest) -> eenv
val addefctn: (eenv * (rfname * int) * cfunction_body) -> eenv

val getevar: (eenv * vname) -> _InstanceForest
val getefctn: (eenv * (rfname * int)) -> cfunction_body

