type 'a rewrite_context = 'a Ast_walker_rewrite_context.rewrite_context
and 'a rewrite_rule =
    'a rewrite_context ->
    Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr * bool
and '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