Functor OpamTypes.MakeActionGraph

module MakeActionGraph: 
functor (Pkg : PKG) -> ACTION_GRAPH with type package = Pkg.t
Functor to create a graph af actions
Parameters:
Pkg : PKG

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