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