Index of types

A
architecture_id [Rapids]
architecture_name [Rapids]
archive [Rapids]	An archive is a map from dates to sets of packages.
archive_id [Rapids]
archive_name [Rapids]	An archive name is a list of strings intended to identify a component such as debian/stable/main/i386 by a list like `["debian";"stable";"main";"i386"]`.
archive_set [Rapids]
B
builder [Io]	A builder takes unit and returns a pair `(add,get)` where `add` is a function that adds one element to the bag and `get` returns the contents of the bag.
C
channel [Napkin]	Channels are streams of packages
collection_io_spec [Io]	The specification type for an abstract collection of things of type `'thing` is made of a literate for the type `'thing`, an iterator and a builder.
conduit [Conduit]
D
data [Rapids.LABELED_INDEX]
day [Rapids.CHRONOLOGICAL_MAP]
day [Lifetime]	Represented as calendar days from an unspecified origin.
db [Rapids]	A RAPIDS database.
default_package [Napkin]
diagnosis [Diagnosis]
E
e1 [Rapids.DOUBLE_INDEX]
e2 [Rapids.DOUBLE_INDEX]
elt [Rapids.CHRONOLOGICAL_MAP]
elt [Rapids.DOUBLE_INDEX]
elt [Rapids.LABELED_INDEX]
elt [Rapids.INDEX]
F
file_format [Generic_io]
fnmatch_options [Ocamlpkgsrc]
G
glob [Rapids]
H
handle [Rapids.VERSION_POOL]
I
id [Rapids.DOUBLE_INDEX]
id [Rapids.VERSION_POOL]
id [Rapids.LABELED_INDEX]
id [Rapids.ID]
id [Rapids.INDEX]
io_in [Io]
io_in [Fragments]	The type of input channels
io_out [Io]
io_out [Fragments]	The type of output channels
iterator [Io]	An iterator takes a bag, a function, and runs the function over the elements of the bag.
L
lifetime [Lifetime]
liquid [Rapids]
lit [Solver.M]
literate [Io]	A literate is something that can both read and write.
P
package [Rapids]	A package is essentially a Napkin with strings replaced by IDs for efficiency.
package [Napkin]	The main datastructure used to represent packages.
package [Dosebase.In]
package_extra [Rapids]	Extra private information (cached results and other things)
package_id [Rapids]
package_name [Rapids]	A package is uniquely identified by its unit, version and architecture.
package_set [Rapids]	Handy aliases.
package_with_files [Napkin]
R
r [Io]	The type of readers.
reason [Solver.S]
reason [Installability.N]
reason [Diagnosis]
record_io_spec [Io]	The description of a record type, to be passed to `io_record` to build a literate for that record type.
release_id [Rapids]
release_number [Rapids]
S
selector [Napkin]	The type `('a, 'b) selector` represents a range of versions where type `'a` represents versions and `'b` represents glob patterns.
set [Rapids.CHRONOLOGICAL_MAP]
solver [Installability]
source_id [Rapids]
source_name [Rapids]
source_set [Rapids]
source_version_name [Rapids]
specification [Waterway]	It is possible to load multiple waterways at once, provided they have the same liquid.
state [Solver.M]
sum_io_spec [Io]	The description of a sum type, to be passed to `io_sum` to build a literate for the given type.
T
t [Rapids.STRING_ORDERED_LITERATE]
t [Rapids.CHRONOLOGICAL_MAP]
t [Rapids.DOUBLE_INDEX]
t [Rapids.VERSION_POOL]
t [Rapids.LABELED_INDEX]
t [Rapids.INDEX]
t [Rapids.ORDERED_LITERATE]
t [Rapids.Release_order]
t [Rapids.Version_order]
t [Installability.N]
t [Mmap]	A type representing a memory-mapped file
t [Dosebase.In]
t [Dosebase.Out]
tag [Fragments]
token [Fragments]	Tokens used by the lower-level I/O functions
U
unit_id [Rapids]
unit_name [Rapids]
unit_set [Rapids]
V
value [Solver.M]	the value of a variable at any give time
var [Solver.M]
version [Rapids.VERSION_POOL]
version_id [Rapids]	The following are opaque, but unique IDs
version_name [Rapids]
version_number [Rapids]	A comparable version number
versioned [Napkin]	A range of versions for a unit such as ocaml (>> 3.04) is represented by `"ocaml", Sel_GT "3.04"`.
W
w [Io]	Type type of writers.
waterway [Waterway]	A waterway is a way to get the liquid we are interested in.