Module Compile_annotate

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