Unic_infer (p.unic.0.1.0.doc.unic.infer.Unic

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

val 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

val 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 dirs : Fpath.t list Cmdliner.Term.t

Sourceval output : Fpath.t option Cmdliner.Term.t

Sourceval setup_solver : Uniq_solver.cfg Cmdliner.Term.t

Sourceval term : int Cmdliner.Term.t

Sourceval cmd : int Cmdliner.Cmd.t