sig
  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
end