module OpamTypes: sig .. end
Common types used by other modules
type 'a success = [ `Successful of 'a ] 
Error and continuation handling
type 'a error = [ `Error of 'a | `Exception of exn ] 
type ('a, 'b) status = [ `Error of 'b | `Exception of exn | `Successful of 'a ] 
Filenames
type OpamFilename.Base.t 
Basenames
type OpamFilename.Dir.t 
Directory names
type OpamFilename.t 
Filenames
type OpamFilename.Set.t 
Set of files
type 'a filename_map = 'a OpamFilename.Map.t 
Map of files
type OpamFilename.generic_file = 
Generalized file type
type 'a download = 
| | | Up_to_date of 'a | 
| | | Not_available of string | 
| | | Result of 'a | 
Download result
Packages
type OpamPackage.t 
Packages are (name * version) tuple
type OpamPackage.Set.t 
Set of packages
type 'a package_map = 'a OpamPackage.Map.t 
Map of packages
type OpamPackage.Name.t 
Package names
type OpamPackage.Name.Set.t 
Set of package names
type 'a name_map = 'a OpamPackage.Name.Map.t 
Map of package names
type OpamPackage.Version.t 
Package versions
type OpamPackage.Version.Set.t 
Set of package versions
Compilers
type OpamCompiler.t 
Compiler names
type OpamCompiler.Set.t 
Set of compiler names
type 'a compiler_map = 'a OpamCompiler.Map.t 
Maps of compiler names
type OpamCompiler.Version.t 
Compiler versions
type OpamVersion.t 
OPAM versions
type OpamCompiler.Version.constr 
Compiler constraints
Variables
type OpamVariable.t 
Variables
type OpamVariable.Full.t 
Fully qualified variables (ie. with the name of
    sections/sub-sections they appear in)
type OpamVariable.variable_contents = 
| | | B of bool | 
| | | S of string | 
Content of user-defined variables
type OpamVariable.variable_contents OpamVariable.Map.t 
A map from variables to their contents (i.e an environment)
type 
| | | Pkgflag_LightUninstall | 
| | | Pkgflag_AllSwitches | 
| | | Pkgflag_Verbose | 
| | | Pkgflag_Plugin | 
| | | Pkgflag_Unknown of string | 
Opam package flags
type 
| | | Depflag_Build | 
| | | Depflag_Test | 
| | | Depflag_Doc | 
| | | Depflag_Dev | 
| | | Depflag_Unknown of string | 
Flags on dependencies
module type GenericPackage = sig .. end
At some point we want to abstract so that the same functions can be used
    over CUDF and OPAM packages
type 'a generic_formula = 'a OpamFormula.formula = 
A generic formula
type OpamFormula.atom 
Formula atoms
type OpamFormula.t 
Formula over versionned packages
type package_dep_flag list OpamFormula.ext_package_formula 
Formula over versionned packages
type 'a conjunction = 'a OpamFormula.conjunction 
AND formulat
type 'a disjunction = 'a OpamFormula.disjunction 
OR formulat
Repositories
type OpamRepositoryName.t 
Repository names
type 'a repository_name_map = 'a OpamRepositoryName.Map.t 
Maps of repository names
type [ `darcs | `git | `hg | `http | `local ] 
Repository kind
type string * string option 
Repository address
type dirname 
Repository root
type 
}
Repositories
Solver
type 'a action = 
| | | To_change of 'a option * 'a | 
| | | To_delete of 'a | 
| | | To_recompile of 'a | 
The solver answers a list of actions to perform
type 'a cause = 
| | | Use of 'a list | 
| | | Required_by of 'a list | 
| | | Conflicts_with of 'a list | 
| | | Upstream_changes | 
| | | Requested | 
| | | Unknown | 
The possible causes of an action.
type 
Solver result
type ('a, 'b) result = 
| | | Success of 'a | 
| | | Conflicts of 'b | 
Solver result
type [ `Default | `Fixup | `Upgrade ] 
type 'a request = {
}
Solver request
type 
user request action
type 
}
Solver universe
Command line arguments
type 
}
Upload arguments
type 
Pinned packages options
type [ `darcs | `git | `hg | `http | `local | `version ] 
Pin kind
type [ `bash | `csh | `fish | `sh | `zsh ] 
Shell compatibility modes
type 
|    | complete : bool; | 
|    | switch_eval : bool; | 
}
Global configuration option
type 
}
User configuration option
Filtered commands
type OpamFormula.relop 
type [ `And | `Or ] 
type [ `Not ] 
type 
Filter
type 
| | | CString of string | 
| | | CIdent of string | 
A command argument
type simple_arg * filter option 
Command argument
type arg list * filter option 
Command
type filename * int * int 
Source file positions: filename, line, column
type 
Base values
type 
|    | section_kind : string; | 
|    | section_name : string; | 
|    | section_items : file_item list; | 
}
A file section
type 
A file is composed of sections and variable definitions
type 
}
A file is a list of items and the filename
Switches
type OpamSwitch.t 
Compiler switches
type OpamSwitch.Set.t 
Set of compiler switches
type 'a switch_map = 'a OpamSwitch.Map.t 
Map of compile switches
Misc
type 
| | | Read_lock of (unit -> unit) | 
| | | Global_lock of (unit -> unit) | 
| | | Switch_lock of (unit -> unit) | 
| | | Global_with_switch_cont_lock of (unit -> switch * (unit -> unit)) | 
The different kinds of locks
type OpamFilename.Attribute.t 
A line in urls.tx
type OpamFilename.Attribute.Set.t 
All the lines in urls.txt
type 'a optional = {
}
Optional contents
type 
|    | s_install : int; | 
|    | s_reinstall : int; | 
|    | s_upgrade : int; | 
|    | s_downgrade : int; | 
|    | s_remove : int; | 
}
Upgrade statistics
type (string * string) list 
Environement variables
type (string * string * string) list 
Environment updates
type OpamMisc.StringSet.t OpamMisc.StringSetMap.t 
Tags
Repository and global states
type string list 
Checksums
type OpamJson.t 
JSON
type 'a updates = {
|    | created : 'a; | 
|    | updated : 'a; | 
|    | deleted : 'a; | 
|    | changed : 'a; | 
}
Updates