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

(* $Id: optimmain.mli,v 1.1 2003/01/10 18:41:53 simeon Exp $ *)

(* Generic part of the optimizer *)

(* Note:
     This module contains the generic tree walker, recursive
     application of optimization rules, and fix-point.

   - Gargi and Jerome
 *)

val main_simplify : Xatenv.tenv -> Xquery_ast.cexpr -> Xquery_ast.cexpr
val main_toplevel_simplify : Xatenv.tenv -> Xquery_ast.cquery_module -> Xquery_ast.cquery_module
val main_update_simplify : Xatenv.tenv -> Xquery_ast.cupdate -> Xquery_ast.cupdate

