Common types used by other modules
Fully qualified variables (ie. with the name of sections/sub-sections they appear in)
#
| B of bool
| |||
#
| S of string
|
Content of user-defined variables
A map from variables to their contents (i.e an environment)
Formula over versionned packages
Repository kind
Repository address
#
repo_root
| : repository_root | ; | |||
#
repo_name
| : repository_name | ; | |||
#
repo_kind
| : repository_kind | ; | |||
#
repo_address
| : address | ; | |||
#
repo_priority
| : int | ; |
Repositories
#
criteria
| : solver_criteria | ; | |||
#
wish_install
| : 'a conjunction | ; | |||
#
wish_remove
| : 'a conjunction | ; | |||
#
wish_upgrade
| : 'a conjunction | ; |
Solver request
#
u_packages
| : package_set | ; | |||
#
u_installed
| : package_set | ; | |||
#
u_available
| : package_set | ; | |||
#
u_depends
| : ext_formula package_map | ; | |||
#
u_depopts
| : ext_formula package_map | ; | |||
#
u_conflicts
| : formula package_map | ; | |||
#
u_action
| : user_action | ; | |||
#
u_installed_roots
| : package_set | ; | |||
#
u_pinned
| : package_set | ; |
Solver universe
Pin kind
Shell compatibility modes
Base values
#
file_contents
| : file_item list | ; | |||
#
file_name
| : string | ; | |||
#
file_format
| : opam_version | ; |
A file is a list of items and the filename
Environement variables
Environment updates
Checksums