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

(* $Id: optimrules.mli,v 1.2 2002/10/06 03:41:27 simeon Exp $ *)

(* Type for optimization rules *)

type rule =
    Xatenv.tenv -> Xquery_ast.cexpr -> Xquery_ast.cexpr * bool


(* Exception raised if a given optimization rule does not apply *)

exception No_optim


(* Current sets of optimization rules *)

val all_optims : rule list

val nontype_optims : rule list

(* val sqlx_optims : rule list *)

