Index of modules


D
Dom [Rel]
Domains.

F
Fresh [Rel]
Multiple freshness introduction.

M
Make [Rel_list]
Make (E) is a module for relational lists with elements of type E.
Make_el [Rel_list]
Make_el (V) are list elements from the domainable module V.

Q
Query [Rel]
Multiple query introduction.

R
Rel
Relational programming for OCaml.
Rel_list
Relational lists

S
Seq [Rel]
Sequences of values.

V
Value [Rel]
Variable values.