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

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

(* Module Eval_update
   Description:
     This module contains the evaluation code for XML Query updates.
*)

val eval_cupdate :
    Dynamic_context.dynamic_context -> Xquery_ast.cupdate -> unit
    (* Evaluate an update *)

    (* Note:
        This function returns nothing, but has a side-effect on data
        model instances.
       - Jerome *)

