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