The scope of package installation:

• Switch: installed with opam.
• Monorepo: locally fetched along unikernel sources.

The type for opam packages.

v ~scope ~build ~sublibs ~libs ~min ~max ~pin opam is a package. Build indicates a build-time dependency only, defaults to false. The library name is by default the same as opam, you can specify ~sublibs to add sublibraries (e.g. ~sublibs:["mirage"] "foo" will result in the library name ["foo.mirage"], and ~sublibs:[""; "mirage"] "foo" will result in the library names ["foo";"foo.mirage"] ). In case the library name is disjoint (or empty), use ~libs. Specifying both ~libs and ~sublibs leads to an invalid argument. Version constraints are given as min (inclusive) and max (exclusive). If pin is provided, a pin-depends is generated, pin_version is "dev" by default. ~scope specifies the installation location of the package.

with_scope t returns t with chosen installation location.

name t is t's opam name.

key t is t's key (concatenation of name and installation scope).

scope t is t's installation scope.

pin t is Some (name_version, r) iff t is pinned to the repository r.

build_dependency t is true iff t is a build-time dependency.

libraries t is the set of libraries (and sub-libraries) used in the package t. For most packages, it will only contain one library whose name is name t.

max_versions is the set of maximum versions of t which are required.

min_versions is the set minimum versions of t which are required.

merge x y is merges the information of x and y. The result is None if name x != name y.

pp is the pretty-printer for packages.