| A | |
| action [Opam_admin_top] | |
| action [OpamTypes] | 
The solver answers a list of actions to perform
 | 
| address [OpamTypes] | 
Repository address
 | 
| arg [OpamTypes] | 
Command argument
 | 
| atom [OpamTypes] | 
Formula atoms
 | 
| atom [OpamFormula] | 
Formula atoms for OPAM
 | 
| B | |
| basename [OpamTypes] | 
Basenames
 | 
| C | |
| cause [OpamTypes] | 
The possible causes of an action.
 | 
| checksums [OpamTypes] | 
Checksums
 | 
| cnf [OpamFormula] | 
CNF formulas (Conjunctive Normal Form)
 | 
| command [OpamTypes] | 
Command
 | 
| command [OpamSystem] | 
a command is a list of words
 | 
| command [OpamProcess] | 
The type of shell commands
 | 
| compiler [OpamTypes] | 
Compiler names
 | 
| compiler_constraint [OpamTypes] | 
Compiler constraints
 | 
| compiler_map [OpamTypes] | 
Maps of compiler names
 | 
| compiler_set [OpamTypes] | 
Set of compiler names
 | 
| compiler_version [OpamTypes] | 
Compiler versions
 | 
| conjunction [OpamTypes] | 
AND formulat
 | 
| conjunction [OpamFormula] | 
AND formulas
 | 
| constr [OpamCompiler.Version] | 
Compiler constraint
 | 
| D | |
| dirname [OpamTypes] | 
Directory names
 | 
| disjunction [OpamTypes] | 
OR formulat
 | 
| disjunction [OpamFormula] | 
OR formulas
 | 
| dnf [OpamFormula] | 
DNF formulas (Disjunctive Normal Form)
 | 
| download [OpamTypes] | 
Download result
 | 
| download_tool [OpamGlobals] | |
| E | |
| env [OpamTypes] | 
Environement variables
 | 
| env [OpamFilter] | 
Type of filter environment.
 | 
| env_updates [OpamTypes] | 
Environment updates
 | 
| error [OpamTypes] | |
| ext_formula [OpamTypes] | 
Formula over versionned packages
 | 
| ext_package_formula [OpamFormula] | 
Formula over versionned packages with additional flags (used to handle
    eg.
 | 
| F | |
| fident [OpamFilter] | 
The type of filter idents with (optionally multiple) qualifying package
    names and optional string converter
 | 
| file [OpamTypes] | 
A file is a list of items and the filename
 | 
| file_attribute [OpamTypes] | 
A line in urls.tx
 | 
| file_attribute_set [OpamTypes] | 
All the lines in urls.txt
 | 
| file_item [OpamTypes] | 
A file is composed of sections and variable definitions
 | 
| file_section [OpamTypes] | 
A file section
 | 
| filename [OpamTypes] | 
Filenames
 | 
| filename_map [OpamTypes] | 
Map of files
 | 
| filename_set [OpamTypes] | 
Set of files
 | 
| filter [OpamTypes] | 
Filter
 | 
| formula [OpamTypes] | 
Formula over versionned packages
 | 
| formula [OpamFormula] | 
General formulas
 | 
| full_variable [OpamTypes] | 
Fully qualified variables (ie.
 | 
| G | |
| generic_file [OpamTypes] | 
Generalized file type
 | 
| generic_file [OpamFilename] | 
Generic filename
 | 
| generic_formula [OpamTypes] | 
A generic formula
 | 
| global_config [OpamTypes] | 
Global configuration option
 | 
| J | |
| job [OpamProcess.Job.Op] | |
| job [OpamProcess] | |
| json [OpamTypes] | 
JSON
 | 
| L | |
| lock [OpamTypes] | 
The different kinds of locks
 | 
| lock [OpamSystem] | |
| logop [OpamTypes] | |
| N | |
| name [OpamTypes] | 
Package names
 | 
| name_map [OpamTypes] | 
Map of package names
 | 
| name_set [OpamTypes] | 
Set of package names
 | 
| O | |
| opam_version [OpamTypes] | 
OPAM versions
 | 
| optional [OpamTypes] | 
Optional contents
 | 
| os [OpamGlobals] | |
| P | |
| package [OpamTypes] | 
Packages are ( name*version) tuple | 
| package_dep_flag [OpamTypes] | 
Flags on dependencies
 | 
| package_flag [OpamTypes] | 
Opam package flags
 | 
| package_map [OpamTypes] | 
Map of packages
 | 
| package_set [OpamTypes] | 
Set of packages
 | 
| pfxop [OpamTypes] | |
| pin_kind [OpamTypes] | 
Pin kind
 | 
| pin_option [OpamTypes] | 
Pinned packages options
 | 
| pos [OpamTypes] | 
Source file positions: filename, line, column
 | 
| R | |
| relop [OpamTypes] | |
| relop [OpamFormula] | 
binary operations (compatible with the Dose type for Cudf operators !)
 | 
| repository [OpamTypes] | 
Repositories
 | 
| repository_kind [OpamTypes] | 
Repository kind
 | 
| repository_name [OpamTypes] | 
Repository names
 | 
| repository_name_map [OpamTypes] | 
Maps of repository names
 | 
| repository_root [OpamTypes] | 
Repository root
 | 
| request [OpamTypes] | 
Solver request
 | 
| result [OpamTypes] | 
Solver result
 | 
| result [OpamProcess] | 
Process results
 | 
| S | |
| shell [OpamTypes] | 
Shell compatibility modes
 | 
| simple_arg [OpamTypes] | 
A command argument
 | 
| solver_criteria [OpamTypes] | |
| solver_criteria [OpamGlobals] | |
| solver_result [OpamTypes] | 
Solver result
 | 
| state [OpamState] | |
| stats [OpamTypes] | 
Upgrade statistics
 | 
| status [OpamTypes] | |
| success [OpamTypes] | 
Error and continuation handling
 | 
| switch [OpamTypes] | 
Compiler switches
 | 
| switch_map [OpamTypes] | 
Map of compile switches
 | 
| switch_set [OpamTypes] | 
Set of compiler switches
 | 
| T | |
| t [OpamRepository.O] | |
| t [OpamProcess] | 
The type for processes
 | 
| t [OpamPath] | 
Type of path root
 | 
| t [OpamJson] | |
| t [OpamFormula] | 
An atom is:  name* (relop*version) formula. | 
| t [OpamFile.IO_FILE] | 
File contents
 | 
| t [OpamState.Types] | |
| tags [OpamTypes] | 
Tags
 | 
| text_style [OpamGlobals] | |
| tmp [OpamRepository.O] | |
| token [OpamParser] | |
| U | |
| universe [OpamTypes] | 
Solver universe
 | 
| updates [OpamTypes] | 
Updates
 | 
| upload [OpamTypes] | 
Upload arguments
 | 
| user_action [OpamTypes] | 
user request action
 | 
| user_config [OpamTypes] | 
User configuration option
 | 
| V | |
| value [OpamTypes] | 
Base values
 | 
| variable [OpamVariable] | 
Shortcut to variables
 | 
| variable [OpamTypes] | 
Variables
 | 
| variable_contents [OpamVariable] | 
Variable contents
 | 
| variable_contents [OpamTypes] | 
Content of user-defined variables
 | 
| variable_map [OpamTypes] | 
A map from variables to their contents (i.e an environment)
 | 
| version [OpamTypes] | 
Package versions
 | 
| version_constraint [OpamFormula] | 
Version constraints for OPAM
 | 
| version_formula [OpamFormula] | 
Expressions composed entirely of version constraints
 | 
| version_set [OpamTypes] | 
Set of package versions
 |