Module Ast_walker_rewrite

module Ast_walker_rewrite: sig .. end

exception Not_applied

val generic_cexpr : 'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr * bool

val children_cexpr : 'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr * bool

val fix_point_cexpr : 'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr

val rewrite_cexpr : 'a Ast_walker_rewrite_context.rewrite_context *
       'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr

val rewrite_cstatement : 'a Ast_walker_rewrite_context.rewrite_context *
       'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acstatement -> Xquery_core_ast.acstatement

val rewrite_cprolog : 'a Ast_walker_rewrite_context.rewrite_context *
       'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acprolog -> Xquery_core_ast.acprolog

val rewrite_cxmodule : 'a Ast_walker_rewrite_context.rewrite_context *
       'a Ast_walker_rewrite_context.rewrite_context ->
       Xquery_core_ast.acxmodule -> Xquery_core_ast.acxmodule

val force_substitute_var : Xquery_core_ast.acexpr ->
       Xquery_common_ast.cvname ->
       Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr * bool

val safe_substitute_var : Xquery_core_ast.acexpr ->
       Xquery_common_ast.cvname ->
       Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr * bool

val free_variables : Xquery_core_ast.acexpr -> Xquery_common_ast.cvname list