module Xquery_algebra_ast_annotation_util: sig .. end
val get_returned_fields : Xquery_algebra_ast.free_variable_desc -> Xquery_algebra_ast.tuple_fields
val algop_get_returned_fields : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> Xquery_algebra_ast.tuple_fields
val get_accessed_fields : Xquery_algebra_ast.free_variable_desc -> Xquery_algebra_ast.tuple_fields
val algop_get_accessed_fields : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> Xquery_algebra_ast.tuple_fields
val get_tuple_field_use_counts : Xquery_algebra_ast.free_variable_desc ->
Xquery_algebra_ast.tuple_field_use_count list *
Xquery_algebra_ast.tuple_fields * Xquery_algebra_ast.cardinality
val algop_get_tuple_field_use_counts : ('a, 'b) Xquery_algebra_ast.aalgop_expr ->
Xquery_algebra_ast.tuple_field_use_count list *
Xquery_algebra_ast.tuple_fields * Xquery_algebra_ast.cardinality
val get_free_variables : Xquery_algebra_ast.free_variable_desc -> Xquery_common_ast.cvname list
val algop_get_free_variables : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> Xquery_common_ast.cvname list
val get_use_counts : Xquery_algebra_ast.free_variable_desc ->
Xquery_algebra_ast.variable_use_count list
val algop_get_use_counts : ('a, 'b) Xquery_algebra_ast.aalgop_expr ->
Xquery_algebra_ast.variable_use_count list
val get_bound_use_counts : Xquery_algebra_ast.free_variable_desc ->
Xquery_algebra_ast.variable_use_count list
val algop_get_bound_use_counts : ('a, 'b) Xquery_algebra_ast.aalgop_expr ->
Xquery_algebra_ast.variable_use_count list
val check_signatures : (string -> string -> 'a list) ->
Xquery_algebra_ast.expr_eval_sig option ->
('b, 'c) Xquery_algebra_ast.aalgop_sub_exprs -> 'a list
val strip_annotation : ('a, 'b) Xquery_algebra_ast.aalgop_expr ->
Logical_algebra_types.logical_algop_expr
val materialization_check : Xquery_physical_type_ast.physical_type ->
Xquery_physical_type_ast.physical_type -> (string -> 'a list) -> 'a list
val deep_copy_expr : ('a, 'b) Xquery_algebra_ast.aalgop_expr ->
('a, 'b) Xquery_algebra_ast.aalgop_expr
val print_annot : Xquery_algebra_ast.free_variable_desc -> unit