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

(* $Id: xaeval.mli,v 1.1 2002/06/27 17:40:26 gsur Exp $ *)

val eval: Xatenv.tenv -> Xaeenv.eenv -> Namespace.nsenv -> Xquery_ast.cexpr -> Datamodel._InstanceForest
    (* Evaluate an expression *)

val eval_toplevel: Xatenv.tenv -> Xaeenv.eenv -> Namespace.nsenv -> Xquery_ast.cquery_module -> Xaeenv.eenv
    (* Evaluate global declarations *)

val eval_query: Xatenv.tenv -> Xaeenv.eenv -> Namespace.nsenv -> Xquery_ast.cquery_module -> (Datamodel._InstanceForest) list
    (* Evaluate the whole query *)
