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".
|