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

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

(* Module Rewrite_rules
   Description:
     This module contains rewriting rules on the XQuery core.
*)

(***********************************)
(* Various sets of rewriting rules *)
(***********************************)

(* All rewriting rules *)

val all_rewrites : Rewrite_walker.rule list

(* Rewriting rules which do not depend upon static typing *)

val nontype_rewrites : Rewrite_walker.rule list

(* SQL-XML oriented rewriting rules *)

(*
val sqlx_optims : Rewrite_walker.rule list
*)

