module Solver:sig
..end
type
backtrace = private
| |
Leaf of |
| |
Choice of |
| |
Depth of |
| |
Target of |
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