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