(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                              XQuery Engine                          *)
(*                                                                     *)
(*  Copyright 2001-2003, Lucent Technologies.                          *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: eval_expr.mli,v 1.2 2003/05/28 14:47:38 simeon Exp $ *)

(* Module Eval_expr
   Description:
     This module contains the evaluation code for XQuery expression.
*)

val eval_cexpr :
    Dynamic_context.dynamic_context -> Xquery_ast.cexpr -> Datamodel._Value
    (* Evaluate an expression *)

val eval_cexpr_to_extended_value :
    Dynamic_context.dynamic_context -> Xquery_ast.cexpr -> Datamodel._Extended_Value
    (* Evaluate an expression as an extended value *)

