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