Module Solver


module Solver: sig .. end


type backtrace = private
| Leaf of Pathname.t
| Choice of backtrace list
| Depth of Pathname.t * backtrace
| Target of string * backtrace
exception Failed of backtrace
exception Circular of Pathname.t * Pathname.t list
val solve : Pathname.t -> unit
val solve_target : string -> Pathname.t list -> Pathname.t