module SMap = Xml.SMapval iriref_a : Sparql_types.irival expand_iri : env -> Sparql_types.iri -> Sparql_types.irival expand_query_prolog_decl :
(env * Sparql_types.query_prolog_decl list) ->
Sparql_types.query_prolog_decl ->
env * Sparql_types.query_prolog_decl listval expand_query_prolog :
env ->
Sparql_types.query_prolog_decl list ->
env * Sparql_types.query_prolog_decl listval expand_rdf_literal :
env ->
Sparql_types.rdf_literal ->
Sparql_types.rdf_literalval expand_data_block_value :
env ->
Sparql_types.data_block_value ->
Sparql_types.data_block_valueval expand_data_full_block_value :
env ->
Sparql_types.data_full_block_value ->
Sparql_types.data_full_block_valueval expand_inline_data_one_var :
env ->
Sparql_types.inline_data_one_var ->
Sparql_types.inline_data_one_varval expand_inline_data_full :
env ->
Sparql_types.inline_data_full ->
Sparql_types.inline_data_fullval expand_datablock : env -> Sparql_types.datablock -> Sparql_types.datablockval expand_values_clause :
env ->
Sparql_types.datablock option ->
Sparql_types.datablock optionval expand_var_or_iri :
env ->
Sparql_types.var_or_iri ->
Sparql_types.var_or_irival expand_select_var :
env ->
Sparql_types.select_var ->
Sparql_types.select_varval expand_select_vars :
env ->
Sparql_types.select_vars ->
Sparql_types.select_varsval expand_select_clause :
env ->
Sparql_types.select_clause ->
Sparql_types.select_clauseval expand_source_selector :
env ->
Sparql_types.source_selector ->
Sparql_types.source_selectorval expand_dataset_clause :
env ->
Sparql_types.dataset_clause ->
Sparql_types.dataset_clauseval expand_arg_list : env -> Sparql_types.arg_list -> Sparql_types.arg_listval expand_function_call :
env ->
Sparql_types.function_call ->
Sparql_types.function_callval expand_expr : env -> Sparql_types.expr -> Sparql_types.exprval expand_expression :
env ->
Sparql_types.expression ->
Sparql_types.expressionval expand_aggregate : env -> Sparql_types.aggregate -> Sparql_types.aggregateval expand_built_in_call :
env ->
Sparql_types.built_in_call ->
Sparql_types.built_in_callval expand_group_var : env -> Sparql_types.group_var -> Sparql_types.group_varval expand_group_condition :
env ->
Sparql_types.group_condition ->
Sparql_types.group_conditionval expand_constraint :
env ->
Sparql_types.having_condition ->
Sparql_types.having_conditionval expand_having_condition :
env ->
Sparql_types.having_condition ->
Sparql_types.having_conditionval expand_order_condition :
env ->
Sparql_types.order_condition ->
Sparql_types.order_conditionval expand_limit_offset_clause :
env ->
Sparql_types.limit_offset_clause ->
Sparql_types.limit_offset_clauseval expand_solution_modifier :
env ->
Sparql_types.solution_modifier ->
Sparql_types.solution_modifierval expand_bind : env -> Sparql_types.bind -> Sparql_types.bindval expand_service_graph_pattern :
env ->
Sparql_types.service_graph_pattern ->
Sparql_types.service_graph_patternval expand_graph_graph_pattern :
env ->
Sparql_types.graph_graph_pattern ->
Sparql_types.graph_graph_patternval expand_graph_pattern_elt :
env ->
Sparql_types.graph_pattern_elt ->
Sparql_types.graph_pattern_eltval expand_graph_term :
env ->
Sparql_types.graph_term ->
Sparql_types.graph_termval expand_var_or_term :
env ->
Sparql_types.var_or_term ->
Sparql_types.var_or_termval expand_path_one_in_prop_set :
env ->
Sparql_types.path_one_in_prop_set ->
Sparql_types.path_one_in_prop_setval expand_path_primary :
env ->
Sparql_types.path_primary ->
Sparql_types.path_primaryval expand_path_elt : env -> Sparql_types.path_elt -> Sparql_types.path_eltval expand_path_elt_or_inverse :
env ->
Sparql_types.path_elt_or_inverse ->
Sparql_types.path_elt_or_inverseval expand_path_sequence :
env ->
Sparql_types.path_sequence ->
Sparql_types.path_sequenceval expand_path : env -> Sparql_types.path -> Sparql_types.pathval expand_verb : env -> Sparql_types.verb -> Sparql_types.verbval expand_triples_node :
env ->
Sparql_types.triples_node ->
Sparql_types.triples_nodeval expand_graph_node : env -> Sparql_types.object_ -> Sparql_types.object_val expand_object : env -> Sparql_types.object_ -> Sparql_types.object_val expand_prop_object_list :
env ->
Sparql_types.prop_object_list ->
Sparql_types.prop_object_listval expand_triples_block :
env ->
Sparql_types.triples_block ->
Sparql_types.triples_blockval expand_triples_same_subject :
env ->
Sparql_types.triples_same_subject ->
Sparql_types.triples_same_subjectval expand_ggp_sub : env -> Sparql_types.ggp_sub -> Sparql_types.ggp_subval expand_group_graph_pattern :
env ->
Sparql_types.group_graph_pattern ->
Sparql_types.group_graph_patternval expand_sub_select :
env ->
Sparql_types.sub_select ->
Sparql_types.sub_selectval expand_select_query :
env ->
Sparql_types.select_query ->
Sparql_types.select_queryval expand_triples_template :
env ->
Sparql_types.triples_same_subject list ->
Sparql_types.triples_same_subject listval expand_construct_template :
env ->
Sparql_types.triples_same_subject list ->
Sparql_types.triples_same_subject listval expand_construct_where :
env ->
Sparql_types.construct_where ->
Sparql_types.construct_whereval expand_construct_query :
env ->
Sparql_types.construct_query ->
Sparql_types.construct_queryval expand_describe_query :
env ->
Sparql_types.describe_query ->
Sparql_types.describe_queryval expand_ask_query : env -> Sparql_types.ask_query -> Sparql_types.ask_queryval expand_query_kind :
env ->
Sparql_types.query_kind ->
Sparql_types.query_kindval build_dataset : env -> Sparql_types.query_kind -> datasetval expand_query :
Iri.t ->
Sparql_types.query ->
Iri.t * dataset * Sparql_types.queryval expand_update_query :
Iri.t ->
Sparql_types.query ->
Iri.t * Sparql_types.query