Dep_graph.Solver
Decide dependencies/provides of free variables
module Unsolved : sig ... end
module Solved : sig ... end
val solve : Unsolved.t list -> Solved.t list