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