1 (***********************************************************************)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
10 (***********************************************************************)
13 (* Original author: Nicolas Pouillard *)
14 type backtrace = private
16 | Choice of backtrace list
17 | Depth of Pathname.t * backtrace
18 | Target of string * backtrace
19 exception Failed of backtrace
20 exception Circular of Pathname.t * Pathname.t list
22 val solve : Pathname.t -> unit
23 val solve_target : string -> Pathname.t list -> Pathname.t