Module OpamTypes.PackageActionGraph

module PackageActionGraph: ACTION_GRAPH  with type package = package
Graph of OPAM packages

type package 
include Graph.Sig.I
include Graph.Oper.S
module Parallel: OpamParallel.SIG 
    with type G.t = t
     and type G.V.t = V.t
Parallel iterator
module Topological: sig .. end
Topological traversal
type solution = {
   to_remove : package list;
   to_process : t;
   root_causes : (package *
package OpamTypes.cause)
list
;
}
Solver solution
val dump_solution : solution -> unit
Dump a solution graph