Module Rdf_sparql_map

module Rdf_sparql_map: sig .. end

module T: Rdf_sparql_types
val map_opt : ('a -> 'b) -> 'a option -> 'b option
type ('acc, 't) map_fun = 'acc mapper -> 'acc -> 't -> 't 
type 'a mapper = {
   var : ('a, Rdf_sparql_types.var) map_fun;
   iriref : ('a, Rdf_sparql_types.iriref) map_fun;
   prefixed_name : ('a, Rdf_sparql_types.prefixed_name) map_fun;
   iri : ('a, Rdf_sparql_types.iri) map_fun;
   rdf_literal : ('a, Rdf_sparql_types.rdf_literal) map_fun;
   data_block_value : ('a, Rdf_sparql_types.data_block_value) map_fun;
   data_full_block_value : ('a, Rdf_sparql_types.data_full_block_value) map_fun;
   inline_data_one_var : ('a, Rdf_sparql_types.inline_data_one_var) map_fun;
   inline_data_full : ('a, Rdf_sparql_types.inline_data_full) map_fun;
   datablock : ('a, Rdf_sparql_types.datablock) map_fun;
   values_clause : ('a, Rdf_sparql_types.values_clause) map_fun;
   var_or_iri : ('a, Rdf_sparql_types.var_or_iri) map_fun;
   blank_node : ('a, Rdf_sparql_types.blank_node) map_fun;
   select_var : ('a, Rdf_sparql_types.select_var) map_fun;
   select_vars : ('a, Rdf_sparql_types.select_vars) map_fun;
   select_clause : ('a, Rdf_sparql_types.select_clause) map_fun;
   dataset_clause : ('a, Rdf_sparql_types.dataset_clause) map_fun;
   arg_list : ('a, Rdf_sparql_types.arg_list) map_fun;
   function_call : ('a, Rdf_sparql_types.function_call) map_fun;
   binary_op : ('a, Rdf_sparql_types.binary_op) map_fun;
   expr : ('a, Rdf_sparql_types.expr) map_fun;
   expression : ('a, Rdf_sparql_types.expression) map_fun;
   built_in_call : ('a, Rdf_sparql_types.built_in_call) map_fun;
   aggregate : ('a, Rdf_sparql_types.aggregate) map_fun;
   group_var : ('a, Rdf_sparql_types.group_var) map_fun;
   group_condition : ('a, Rdf_sparql_types.group_condition) map_fun;
   constraint_ : ('a, Rdf_sparql_types.constraint_) map_fun;
   order_condition : ('a, Rdf_sparql_types.order_condition) map_fun;
   limit_offset_clause : ('a, Rdf_sparql_types.limit_offset_clause) map_fun;
   solution_modifier : ('a, Rdf_sparql_types.solution_modifier) map_fun;
   bind : ('a, Rdf_sparql_types.bind) map_fun;
   service_graph_pattern : ('a, Rdf_sparql_types.service_graph_pattern) map_fun;
   graph_graph_pattern : ('a, Rdf_sparql_types.graph_graph_pattern) map_fun;
   graph_pattern_elt : ('a, Rdf_sparql_types.graph_pattern_elt) map_fun;
   graph_term : ('a, Rdf_sparql_types.graph_term) map_fun;
   var_or_term : ('a, Rdf_sparql_types.var_or_term) map_fun;
   path_one_in_prop_set : ('a, Rdf_sparql_types.path_one_in_prop_set) map_fun;
   path_primary : ('a, Rdf_sparql_types.path_primary) map_fun;
   path_elt : ('a, Rdf_sparql_types.path_elt) map_fun;
   path_elt_or_inverse : ('a, Rdf_sparql_types.path_elt_or_inverse) map_fun;
   path_sequence : ('a, Rdf_sparql_types.path_sequence) map_fun;
   path : ('a, Rdf_sparql_types.path) map_fun;
   verb : ('a, Rdf_sparql_types.verb) map_fun;
   triples_node : ('a, Rdf_sparql_types.triples_node) map_fun;
   graph_node : ('a, Rdf_sparql_types.graph_node) map_fun;
   prop_object_list : ('a, Rdf_sparql_types.prop_object_list) map_fun;
   triples_block : ('a, Rdf_sparql_types.triples_block) map_fun;
   triples_same_subject : ('a, Rdf_sparql_types.triples_same_subject) map_fun;
   ggp_sub : ('a, Rdf_sparql_types.ggp_sub) map_fun;
   group_graph_pattern : ('a, Rdf_sparql_types.group_graph_pattern) map_fun;
   sub_select : ('a, Rdf_sparql_types.sub_select) map_fun;
}
val var : 'a -> 'b -> 'c -> 'c
val iriref : 'a -> 'b -> 'c -> 'c
val prefixed_name : 'a -> 'b -> 'c -> 'c
val iri : 'a mapper ->
'a -> Rdf_sparql_types.iri -> Rdf_sparql_types.iri
val rdf_literal : 'a -> 'b -> 'c -> 'c
val data_block_value : 'a mapper ->
'a -> Rdf_sparql_types.data_block_value -> Rdf_sparql_types.data_block_value
val data_full_block_value : 'a mapper ->
'a ->
Rdf_sparql_types.data_full_block_value ->
Rdf_sparql_types.data_full_block_value
val inline_data_one_var : 'a mapper ->
'a ->
Rdf_sparql_types.inline_data_one_var -> Rdf_sparql_types.inline_data_one_var
val inline_data_full : 'a mapper ->
'a -> Rdf_sparql_types.inline_data_full -> Rdf_sparql_types.inline_data_full
val datablock : 'a mapper ->
'a -> Rdf_sparql_types.datablock -> Rdf_sparql_types.datablock
val values_clause : 'a mapper ->
'a -> Rdf_sparql_types.datablock option -> Rdf_sparql_types.datablock option
val var_or_iri : 'a mapper ->
'a -> Rdf_sparql_types.var_or_iri -> Rdf_sparql_types.var_or_iri
val blank_node : 'a -> 'b -> 'c -> 'c
val select_var : 'a mapper ->
'a -> Rdf_sparql_types.select_var -> Rdf_sparql_types.select_var
val select_vars : 'a mapper ->
'a -> Rdf_sparql_types.select_vars -> Rdf_sparql_types.select_vars
val select_clause : 'a mapper ->
'a -> Rdf_sparql_types.select_clause -> Rdf_sparql_types.select_clause
val dataset_clause : 'a mapper ->
'a -> Rdf_sparql_types.dataset_clause -> Rdf_sparql_types.dataset_clause
val arg_list : 'a mapper ->
'a -> Rdf_sparql_types.arg_list -> Rdf_sparql_types.arg_list
val function_call : 'a mapper ->
'a -> T.function_call -> Rdf_sparql_types.function_call
val binary_op : 'a -> 'b -> 'c -> 'c
val expr : 'a mapper ->
'a -> Rdf_sparql_types.expr -> Rdf_sparql_types.expr
val expression : 'a mapper ->
'a -> T.expression -> T.expression
val built_in_call : 'a mapper ->
'a -> Rdf_sparql_types.built_in_call -> Rdf_sparql_types.built_in_call
val aggregate : 'a mapper ->
'a -> Rdf_sparql_types.aggregate -> Rdf_sparql_types.aggregate
val group_var : 'a mapper ->
'a -> Rdf_sparql_types.group_var -> Rdf_sparql_types.group_var
val group_condition : 'a mapper ->
'a -> Rdf_sparql_types.group_condition -> Rdf_sparql_types.group_condition
val constraint_ : 'a mapper ->
'a -> Rdf_sparql_types.constraint_ -> Rdf_sparql_types.constraint_
val order_condition : 'a mapper ->
'a -> Rdf_sparql_types.order_condition -> Rdf_sparql_types.order_condition
val limit_offset_clause : 'a -> 'b -> 'c -> 'c
val solution_modifier : 'a mapper ->
'a ->
Rdf_sparql_types.solution_modifier -> Rdf_sparql_types.solution_modifier
val bind : 'a mapper ->
'a -> Rdf_sparql_types.bind -> Rdf_sparql_types.bind
val service_graph_pattern : 'a mapper ->
'a ->
Rdf_sparql_types.service_graph_pattern ->
Rdf_sparql_types.service_graph_pattern
val graph_graph_pattern : 'a mapper ->
'a ->
Rdf_sparql_types.graph_graph_pattern -> Rdf_sparql_types.graph_graph_pattern
val graph_pattern_elt : 'a mapper ->
'a ->
Rdf_sparql_types.graph_pattern_elt -> Rdf_sparql_types.graph_pattern_elt
val graph_term : 'a mapper ->
'a -> Rdf_sparql_types.graph_term -> Rdf_sparql_types.graph_term
val var_or_term : 'a mapper ->
'a -> Rdf_sparql_types.var_or_term -> Rdf_sparql_types.var_or_term
val path_one_in_prop_set : 'a mapper ->
'a ->
Rdf_sparql_types.path_one_in_prop_set ->
Rdf_sparql_types.path_one_in_prop_set
val path_primary : 'a mapper ->
'a -> Rdf_sparql_types.path_primary -> Rdf_sparql_types.path_primary
val path_elt : 'a mapper ->
'a -> Rdf_sparql_types.path_elt -> Rdf_sparql_types.path_elt
val path_elt_or_inverse : 'a mapper ->
'a ->
Rdf_sparql_types.path_elt_or_inverse -> Rdf_sparql_types.path_elt_or_inverse
val path_sequence : 'a mapper ->
'a ->
Rdf_sparql_types.path_elt_or_inverse list ->
Rdf_sparql_types.path_elt_or_inverse list
val path : 'a mapper ->
'a ->
Rdf_sparql_types.path_sequence list -> Rdf_sparql_types.path_sequence list
val verb : 'a mapper ->
'a -> Rdf_sparql_types.verb -> Rdf_sparql_types.verb
val triples_node : 'a mapper ->
'a -> Rdf_sparql_types.triples_node -> Rdf_sparql_types.triples_node
val graph_node : 'a mapper ->
'a -> Rdf_sparql_types.graph_node -> Rdf_sparql_types.graph_node
val prop_object_list : 'a mapper ->
'a -> Rdf_sparql_types.prop_object_list -> Rdf_sparql_types.prop_object_list
val triples_block : 'a mapper ->
'a -> Rdf_sparql_types.triples_block -> Rdf_sparql_types.triples_block
val triples_same_subject : 'a mapper ->
'a ->
Rdf_sparql_types.triples_same_subject ->
Rdf_sparql_types.triples_same_subject
val ggp_sub : 'a mapper ->
'a -> Rdf_sparql_types.ggp_sub -> Rdf_sparql_types.ggp_sub
val group_graph_pattern : 'a mapper ->
'a ->
Rdf_sparql_types.group_graph_pattern -> Rdf_sparql_types.group_graph_pattern
val sub_select : 'a mapper ->
'a -> Rdf_sparql_types.sub_select -> Rdf_sparql_types.sub_select
val default : 'a mapper