Module Ast_walker_rewrite_context

module Ast_walker_rewrite_context: sig .. end

type 'a rewrite_context 
type 'a rewrite_rule = 'a rewrite_context ->
Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr * bool
type 'a rewrite_prolog_rule = 'a rewrite_context ->
Xquery_core_ast.acvar_decl ->
'a rewrite_context * Xquery_core_ast.acvar_decl *
bool
type 'a rewrite_rule_set = 'a rewrite_rule list 
type 'a rewrite_prolog_rule_set = 'a rewrite_prolog_rule list 
val build_rewrite_context : 'a ->
'a rewrite_rule_set ->
'a rewrite_prolog_rule_set ->
'a rewrite_context
val get_context : 'a rewrite_context -> 'a
val get_rewrite_rules : 'a rewrite_context ->
'a rewrite_rule list
val get_rewrite_prolog_rules : 'a rewrite_context ->
'a rewrite_prolog_rule list