module Compile_annotate:sig..end
val annotate_algebraic_expression : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
val reannotate_algebraic_expression : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
val annotate_algebraic_module : ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit