sig
  val algebra_prefix : Namespace_names.prefix
  val algebra_uri : Namespace_names.uri
  val algebra_bindings : Namespace_context.binding_table
  val alg_elem : Namespace_names.rqname -> Namespace_symbols.relem_symbol
  val alg_attr : Namespace_names.rqname -> Namespace_symbols.rattr_symbol
  val string_of_relem_symbol : Namespace_symbols.relem_symbol -> string
  val string_of_rattr_symbol : Namespace_symbols.rattr_symbol -> string
  val string_of_rtype_symbol : Namespace_symbols.rtype_symbol -> string
  val function_tag_elem_name : Namespace_names.rqname
  val function_body_elem_name : Namespace_names.rqname
  val function_imported_elem_name : Namespace_names.rqname
  val input_datamodel_elem_name : Namespace_names.rqname
  val output_datamodel_elem_name : Namespace_names.rqname
  val datamodel_signature : Namespace_names.rqname
  val dep_attr_name : Namespace_names.rqname
  val dep_arity_attr_name : Namespace_names.rqname
  val indep_attr_name : Namespace_names.rqname
  val indep_arity_attr_name : Namespace_names.rqname
  val input_type_elem_name : Namespace_names.rqname
  val output_type_elem_name : Namespace_names.rqname
  val function_signature_elem_name : Namespace_names.rqname
  val out_type_attr_name : Namespace_names.rqname
  val arg_count_attr_name : Namespace_names.rqname
  val index_attr_name : Namespace_names.rqname
  val datamodel_attr_name : Namespace_names.rqname
  val no_input : string
  val one_input : string
  val two_input : string
  val many_input : string
  val input_prune_field_attr_name : Namespace_names.rqname
  val input_distinct_field_attr_name : Namespace_names.rqname
  val node_test_elem_name : Namespace_names.rqname
  val name_test_attr_name : Namespace_names.rqname
  val name_test_elem_name : Namespace_names.rqname
  val kind_test_elem_name : Namespace_names.rqname
  val kind_test_attr_name : Namespace_names.rqname
  val pi_kind_test_elem_name : Namespace_names.rqname
  val pi_kind_attr_name : Namespace_names.rqname
  val axis_attr_name : Namespace_names.rqname
  val ts_case_elem_name : Namespace_names.rqname
  val ts_default_elem_name : Namespace_names.rqname
  val ts_num_branches_attr_name : Namespace_names.rqname
  val tuple_slot_elem_name : Namespace_names.rqname
  val var_attr_name : Namespace_names.rqname
  val type_attr_name : Namespace_names.rqname
  val vname_attr_name : Namespace_names.rqname
  val stablekind_attr_name : Namespace_names.rqname
  val sortkind_attr_name : Namespace_names.rqname
  val emptysortkind_attr_name : Namespace_names.rqname
  val optdatatype_attr_name : Namespace_names.rqname
  val pos_attr_name : Namespace_names.rqname
  val usage_attr_name : Namespace_names.rqname
  val value_attr_name : Namespace_names.rqname
  val target_attr_name : Namespace_names.rqname
  val content_attr_name : Namespace_names.rqname
  val attr_name_attr_name : Namespace_names.rqname
  val elem_name_attr_name : Namespace_names.rqname
  val fn_name_attr_name : Namespace_names.rqname
  val arity_attr_name : Namespace_names.rqname
  val updating_attr_name : Namespace_names.rqname
  val host_attr_name : Namespace_names.rqname
  val port_attr_name : Namespace_names.rqname
  val tuple_name_attr_name : Namespace_names.rqname
  val occurrence_attr_name : Namespace_names.rqname
  val prefix_attr_name : Namespace_names.rqname
  val uri_attr_name : Namespace_names.rqname
  val rqname_attr_name : Namespace_names.rqname
  val relem_elem_name : Namespace_names.rqname
  val rattr_elem_name : Namespace_names.rqname
  val rtype_elem_name : Namespace_names.rqname
  val asequencetype_elem_name : Namespace_names.rqname
  val ait_attributetype_elem_name : Namespace_names.rqname
  val ait_elementtype_elem_name : Namespace_names.rqname
  val ait_schemaattribute_elem_name : Namespace_names.rqname
  val ait_schemaelementtype_elem_name : Namespace_names.rqname
  val ait_kindtest_elem_name : Namespace_names.rqname
  val ait_typeref_elem_name : Namespace_names.rqname
  val ait_node_elem_name : Namespace_names.rqname
  val ait_item_elem_name : Namespace_names.rqname
  val ait_numeric_elem_name : Namespace_names.rqname
  val ait_anystring_elem_name : Namespace_names.rqname
  val ait_text_elem_name : Namespace_names.rqname
  val ait_comment_elem_name : Namespace_names.rqname
  val ait_processing_instruction_elem_name : Namespace_names.rqname
  val ait_empty_elem_name : Namespace_names.rqname
  val ait_anyatomic_elem_name : Namespace_names.rqname
  val ait_atomic_elem_name : Namespace_names.rqname
  val ait_document_elem_name : Namespace_names.rqname
  val schema_attr_name_attr_name : Namespace_names.rqname
  val schema_elem_name_attr_name : Namespace_names.rqname
  val type_ref_attr_name : Namespace_names.rqname
  val pi_arg_attr_name : Namespace_names.rqname
  val atomic_type_attr_name : Namespace_names.rqname
  val function_decl_elem_name : Namespace_names.rqname
  val fn_count_attr_name : Namespace_names.rqname
  val variable_declarations_elem_name : Namespace_names.rqname
  val variable_count_attr_name : Namespace_names.rqname
  val variable_name_attr_name : Namespace_names.rqname
  val null_index_attr_name : Namespace_names.rqname
  val input_dot_attr_name : Namespace_names.rqname
  val output_dot_attr_name : Namespace_names.rqname
  val index_definitions_elem_name : Namespace_names.rqname
  val index_def_elem_name : Namespace_names.rqname
  val op_1_elem_name : Namespace_names.rqname
  val op_2_elem_name : Namespace_names.rqname
  val kname_attr_name : Namespace_names.rqname
  val indices_count_attr_name : Namespace_names.rqname
  val statement_declaration_elem_name : Namespace_names.rqname
  val expression_elem_name : Namespace_names.rqname
  val number_of_statements_attr_name : Namespace_names.rqname
  val algop_module_decl_elem_name : Namespace_names.rqname
  val prolog_elem_name : Namespace_names.rqname
  val prolog_algop_name :
    Xquery_algebra_ast.algop_decl_name -> Namespace_names.rqname
  val insert_location_attr_name : Namespace_names.rqname
  val value_of_flag_attr_name : Namespace_names.rqname
  val snap_modifier_attr_name : Namespace_names.rqname
  val docname_attr_name : Namespace_names.rqname
  val project_name_elem_name : Namespace_names.rqname
  val project_name_attr_name : Namespace_names.rqname
  val project_elem_name : Namespace_names.rqname
  val item_tuple_attr_name : Namespace_names.rqname
  val n_sort_criteria_attr_name : Namespace_names.rqname
  val stable_attr_name : Namespace_names.rqname
  val sort_spec_elem_name : Namespace_names.rqname
  val empty_sort_kind_attr_name : Namespace_names.rqname
  val sort_kind_attr_name : Namespace_names.rqname
  val compile_annotation_elem_name : Namespace_names.rqname
  val accessed_fields_elem_name : Namespace_names.rqname
  val returned_fields_elem_name : Namespace_names.rqname
  val free_variables_elem_name : Namespace_names.rqname
  val num_accessed_fields_attr_name : Namespace_names.rqname
  val num_returned_fields_attr_name : Namespace_names.rqname
  val num_free_variables_attr_name : Namespace_names.rqname
  val overloaded_call_elem_name : Namespace_names.rqname
  val vname_elem_name : Namespace_names.rqname
  val gbn_elem_name : Namespace_names.rqname
  val induced_elem_name : Namespace_names.rqname
  val mbv_elem_name : Namespace_names.rqname
  val agg_elem_name : Namespace_names.rqname
  val group_desc_elem_name : Namespace_names.rqname
  val distinct_value_attr_name : Namespace_names.rqname
  val ttp_name : Namespace_names.rqname
  val twig_node_name : Namespace_names.rqname
  val in_field_attr_name : Namespace_names.rqname
  val restore_attr_name : Namespace_names.rqname
  val out_field_attr_name : Namespace_names.rqname
  val child_twig_name : Namespace_names.rqname
  val pred_twig_name : Namespace_names.rqname
  val simple_conjunct_elem_name : Namespace_names.rqname
  val complex_conjunct_elem_name : Namespace_names.rqname
  val disjunct_elem_name : Namespace_names.rqname
  val simple_conjunct_start_attr_name : Namespace_names.rqname
  val simple_conjunct_end_attr_name : Namespace_names.rqname
  type prolog_algop_moniker =
      AOEVarDeclExternal_n
    | AOEVarDecl_n
    | AOEValueIndexDecl_n
    | AOENameIndexDecl_n
  val prolog_attr_name : Namespace_names.rqname
  val prolog_var_count_attr_name : Namespace_names.rqname
  val prolog_index_count_attr_name : Namespace_names.rqname
  val prolog_vars_elem_name : Namespace_names.rqname
  val prolog_var_decl_external_name : Namespace_names.rqname
  val prolog_var_decl_name : Namespace_names.rqname
  val prolog_value_index_decl_name : Namespace_names.rqname
  val prolog_name_index_decl_name : Namespace_names.rqname
  val prolog_indices_elem_name : Namespace_names.rqname
  val get_prolog_algop_moniker :
    Namespace_symbols.relem_symbol -> Planio_common.prolog_algop_moniker
  val algop_prolog_decl_elem_name : Namespace_names.rqname
  val closure_attribute_elem_name : Namespace_names.rqname
  val closure_bind_elem_name : Namespace_names.rqname
  val closure_elem_name : Namespace_names.rqname
  val closure_env_elem_name : Namespace_names.rqname
  val closure_error_elem_name : Namespace_names.rqname
  val closure_result_elem_name : Namespace_names.rqname
  val closure_table_elem_name : Namespace_names.rqname
  val closure_tree_elem_name : Namespace_names.rqname
  val closure_tuple_elem_name : Namespace_names.rqname
  val closure_var_elem_name : Namespace_names.rqname
  val closure_sym : Namespace_symbols.relem_symbol
  val closure_attribute_sym : Namespace_symbols.relem_symbol
  val closure_bind_sym : Namespace_symbols.relem_symbol
  val closure_env_sym : Namespace_symbols.relem_symbol
  val closure_error_sym : Namespace_symbols.relem_symbol
  val closure_result_sym : Namespace_symbols.relem_symbol
  val closure_table_sym : Namespace_symbols.relem_symbol
  val closure_tree_sym : Namespace_symbols.relem_symbol
  val closure_tuple_sym : Namespace_symbols.relem_symbol
  val closure_var_sym : Namespace_symbols.relem_symbol
  val elem_name_of_atomic_type :
    Datatypes.atomic_type -> Namespace_names.rqname
  val elem_sym_of_atomic_type :
    Datatypes.atomic_type -> Namespace_symbols.relem_symbol
  val atomic_type_of_elem_sym :
    Namespace_symbols.relem_symbol ->
    Namespace_symbols.rtype_symbol * Datatypes.atomic_type
  type algop_kind_moniker = NoSub_n | OneSub_n | TwoSub_n | ManySub_n
  type algop_moniker =
      AOELetvar_n
    | AOEIf_n
    | AOEWhile_n
    | AOETypeswitch_n
    | AOEVar_n
    | AOEScalar_n
    | AOESeq_n
    | AOEEmpty_n
    | AOEDocument_n
    | AOEPI_n
    | AOEPIComputed_n
    | AOEComment_n
    | AOECommentComputed_n
    | AOEText_n
    | AOETextComputed_n
    | AOEElem_n
    | AOEAnyElem_n
    | AOEAttr_n
    | AOEAnyAttr_n
    | AOEError_n
    | AOETreat_n
    | AOEValidate_n
    | AOECast_n
    | AOECastable_n
    | AOESome_n
    | AOEEvery_n
    | AOETreeJoin_n
    | AOETupleTreePattern_n
    | AOEProject_n
    | AOECallBuiltIn_n
    | AOECallOverloaded_n
    | AOECallUserDefined_n
    | AOEConvertSimple_n
    | AOEPromoteNumeric_n
    | AOEUnsafePromoteNumeric_n
    | AOEServerImplements_n
    | AOEForServerClose_n
    | AOEEvalClosure_n
    | AOEExecute_n
    | AOEASyncExecute_n
    | AOECreateTuple_n
    | AOEAccessTuple_n
    | AOEOrderBy_n
    | AOEProduct_n
    | AOESelect_n
    | AOEJoin_n
    | AOELeftOuterJoin_n
    | AOEConcatTuples_n
    | AOEMapFromItem_n
    | AOEMapToItem_n
    | AOEMap_n
    | AOEMapIndex_n
    | AOEMapIndexStep_n
    | AOEMapConcat_n
    | AOEOuterMapConcat_n
    | AOEInputTuple_n
    | AOEGroupBy_n
    | AOENullMap_n
    | AOESnap_n
    | AOEDelete_n
    | AOEInsert_n
    | AOERename_n
    | AOEReplace_n
    | AOESequencing_n
    | AOESet_n
    | AOEImperativeSeq_n
    | AOEParse_n
    | AOEPromoteAnyString_n
  val make_input_attr_name : int -> Namespace_names.rqname
  val atomic_type_of_attr_string : string -> Datatypes.atomic_type
  val attr_string_of_atomic_type : Datatypes.atomic_type -> string
  val axis_of_string : string -> Xquery_common_ast.axis
  val string_of_axis : Xquery_common_ast.axis -> string
  val string_of_optint : int option -> string
  val optint_of_string : string -> int option
  val string_of_sortkind : Xquery_common_ast.sortkind -> string
  val sortkind_of_string : string -> Xquery_common_ast.sortkind
  val string_of_stablekind : Xquery_common_ast.stablekind -> string
  val stablekind_of_string : string -> Xquery_common_ast.stablekind
  val string_of_emptysortkind : Xquery_common_ast.emptysortkind -> string
  val emptysortkind_of_string : string -> Xquery_common_ast.emptysortkind
  val string_of_physical_type :
    Xquery_physical_type_ast.physical_type -> string
  val physical_type_of_string :
    string -> Xquery_physical_type_ast.physical_type
  val xml_string_of_prefix : Namespace_names.prefix -> Namespace_names.ncname
  val xml_prefix_of_string : Namespace_names.ncname -> Namespace_names.prefix
  val get_serializable_moniker_of_algop_name :
    Xquery_algebra_ast.algop_expr_name -> Namespace_names.rqname
  val get_moniker_of_algop :
    Namespace_symbols.relem_symbol -> Planio_common.algop_moniker
  val get_cardinality : string -> int
  val serializable_string_of_rqname : Namespace_names.rqname -> string
  val parse_rqname_string : string -> Namespace_names.rqname
  val parse_function_rqname_string : string -> Namespace_names.rqname
end