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