Module Rel.Query

module Query: sig .. end
Multiple query introduction.


Query


val v1 : ?n0:string ->
('a Rel.term -> 'q, 'a Rel.value -> 'r) Rel.reifier -> ('q, 'r) Rel.reifier
val v2 : ?n0:string ->
?n1:string ->
('a Rel.term -> 'b Rel.term -> 'q, 'a Rel.value -> 'b Rel.value -> 'r)
Rel.reifier -> ('q, 'r) Rel.reifier
val v3 : ?n0:string ->
?n1:string ->
?n2:string ->
('a Rel.term -> 'b Rel.term -> 'c Rel.term -> 'q,
'a Rel.value -> 'b Rel.value -> 'c Rel.value -> 'r)
Rel.reifier -> ('q, 'r) Rel.reifier
val v4 : ?n0:string ->
?n1:string ->
?n2:string ->
?n3:string ->
('a Rel.term -> 'b Rel.term -> 'c Rel.term -> 'd Rel.term -> 'q,
'a Rel.value -> 'b Rel.value -> 'c Rel.value -> 'd Rel.value -> 'r)
Rel.reifier -> ('q, 'r) Rel.reifier
val v5 : ?n0:string ->
?n1:string ->
?n2:string ->
?n3:string ->
?n4:string ->
('a Rel.term ->
'b Rel.term -> 'c Rel.term -> 'd Rel.term -> 'e Rel.term -> 'q,
'a Rel.value ->
'b Rel.value -> 'c Rel.value -> 'd Rel.value -> 'e Rel.value -> 'r)
Rel.reifier -> ('q, 'r) Rel.reifier
val v6 : ?n0:string ->
?n1:string ->
?n2:string ->
?n3:string ->
?n4:string ->
?n5:string ->
('a Rel.term ->
'b Rel.term ->
'c Rel.term -> 'd Rel.term -> 'c Rel.term -> 'f Rel.term -> 'q,
'a Rel.value ->
'b Rel.value ->
'c Rel.value -> 'd Rel.value -> 'c Rel.value -> 'f Rel.value -> 'r)
Rel.reifier -> ('q, 'r) Rel.reifier