Index of types


C
channel [Napkin]
Channels are streams of packages
conduit [Conduit]

D
default_package [Napkin]

I
io_in [Fragments]
The type of input channels
io_out [Fragments]
The type of output channels

L
lit [Solver.M]

P
package [Napkin]
The main datastructure used to represent packages.
package_with_files [Napkin]

R
reason [Solver.S]

S
selector [Napkin]
The type ('a, 'b) selector represents a range of versions where type 'a represents versions and 'b represents glob patterns.
state [Solver.M]

T
t [Mmap]
A type representing a memory-mapped file
tag [Fragments]
token [Fragments]
Tokens used by the lower-level I/O functions

V
value [Solver.M]
the value of a variable at any give time
var [Solver.M]
versioned [Napkin]
A range of versions for a unit such as ocaml (>> 3.04) is represented by "ocaml", Sel_GT "3.04".