LRijkstra.mli 409 Bytes
Newer Older
1 2 3 4 5
(* The purpose of this algorithm is to find, for each pair of a state [s]
   and a terminal symbol [z] such that looking at [z] in state [s] causes
   an error, a minimal path (starting in some initial state) that actually
   triggers this error. *)

POTTIER Francois's avatar
POTTIER Francois committed
6 7
(* The result of this analysis is written to the standard output channel.
   No result is returned. *)
8

9
module Run (X : sig val verbose: bool end) : sig end
10