sig
  val access_no_type : Xquery_algebra_ast.input_signature -> unit
  val access_one_non_discarded_xml_type :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_xml_type
  val access_one_table_type :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_tuple_type
  val access_two_non_discarded_xml_types :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_xml_type *
    Xquery_physical_type_ast.physical_xml_type
  val access_two_types :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_type *
    Xquery_physical_type_ast.physical_type
  val access_two_table_types :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_tuple_type *
    Xquery_physical_type_ast.physical_tuple_type
  val access_many_non_discarded_xml_types :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_xml_type list
  val access_many_types :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_type array
  val access_one_sax_stream_xml_type :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_xml_type
  val access_one_dom_list_table_type :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_tuple_type
  val access_two_dom_list_table_types :
    Xquery_algebra_ast.input_signature ->
    Xquery_physical_type_ast.physical_tuple_type *
    Xquery_physical_type_ast.physical_tuple_type
  val assert_table_type :
    Xquery_physical_type_ast.physical_type ->
    Xquery_physical_type_ast.physical_type
  val assert_tuple_type :
    Xquery_physical_type_ast.physical_type ->
    Xquery_physical_type_ast.physical_tuple_type
  val assert_non_discarded_xml_type :
    Xquery_physical_type_ast.physical_type ->
    Xquery_physical_type_ast.physical_xml_type
  val dom_cursor_type : Xquery_physical_type_ast.physical_xml_type
  val dom_cursor_xml_type : Xquery_physical_type_ast.physical_type
  val dom_list_type : Xquery_physical_type_ast.physical_xml_type
  val dom_list_xml_type : Xquery_physical_type_ast.physical_type
  val sax_stream_type : Xquery_physical_type_ast.physical_xml_type
  val sax_stream_xml_type : Xquery_physical_type_ast.physical_type
  val least_upper_xml_type :
    Xquery_physical_type_ast.physical_xml_type ->
    Xquery_physical_type_ast.physical_xml_type ->
    Xquery_physical_type_ast.physical_xml_type
  val concat_xml_type :
    Xquery_physical_type_ast.physical_xml_type ->
    Xquery_physical_type_ast.physical_xml_type
  val materialize_xml_type :
    Xquery_physical_type_ast.physical_xml_type ->
    Xquery_physical_type_ast.physical_xml_type
end