sig
  val annotate_cexpr :
    'a Ast_walker_annotate_context.annotation_context ->
    Xquery_core_ast.acexpr -> unit
  val annotate_cstatement :
    'a Ast_walker_annotate_context.annotation_context ->
    Xquery_core_ast.acstatement -> unit
  val annotate_cprolog :
    'a Ast_walker_annotate_context.annotation_context ->
    Xquery_core_ast.acprolog -> unit
  val annotate_cxmodule :
    'a Ast_walker_annotate_context.annotation_context ->
    Xquery_core_ast.acxmodule -> unit
end