package unic

  1. Overview
  2. Docs
A tool to infer what is needed to vendors to compile unikernels

Install 

dune-project
 Dependency

git.robur.coop Readme Changelog Edit opam file Versions (1)

Authors

  1. R
    Romain Calascibetta <romain.calascibetta@gmail.com>

Maintainers

  1. R
    Romain Calascibetta <romain.calascibetta@gmail.com>

Sources

uniq-0.1.0.tbz
sha256=998588f1053cf03161a4bded6d7f8068c88de497e77fc0bbca81a5234fa444d5
sha512=53d4ee5ad8c01e19a2e1fbda86266768d118f78566b82f0c736338ce2c12258185a5f4dbb90bf0da37a7528098266ec81861bdcfea29e55daa3122a4f3a1daca

doc/unic.infer/Unic_infer/index.html

Module Unic_inferSource

Sourcemodule Meta = Uniq_meta
module Info = Uniq_info
Sourcemodule Solver = Uniq_solver
Sourcemodule Clos = Uniq_clos
Sourcemodule Vendor = Uniq_vendor
Sourcemodule Opam = Uniq_opam
Sourcemodule Option = Option
Sourceval error_msgf : ('a, Format.formatter, unit, ('b, [> `Msg of string ]) result) format4 -> 'a
Sourceval (let@) : (unit -> unit) -> (unit -> 'a) -> 'a
Sourceexception Ambiguous_interface of Modname.t * Info.t list
Sourceexception No_input of Modname.t
Sourceval prompt : Modname.t -> Meta.Path.t list -> Meta.Path.t
Sourceval their_are_copies : Info.t list -> bool
Sourceval prefer_stdlib : ?stdlib:??? -> Uniq_info.t list -> Uniq_info.t
Sourceval run : 'a -> Uniq_cfg.t option -> Fpath.t list -> Solver.cfg -> Uniq_policy.t -> Fpath.t list -> Fpath.t option -> int
Sourceval without_stdlib : bool Cmdliner.Term.t
Sourceval recurse : bool Cmdliner.Term.t
Sourceval exclude : Fpath.t list Cmdliner.Term.t
Sourceval ignore : Modname.t list list Cmdliner.Term.t
Sourceval forbid : Modname.t list list Cmdliner.Term.t
Sourceval output : Fpath.t option Cmdliner.Term.t
Sourceval term : int Cmdliner.Term.t
Sourceval cmd : int Cmdliner.Cmd.t