Digraph.PathCheck
Path checking
type path_checker
val create : t -> path_checker
val check_path : path_checker -> V.t -> V.t -> bool