Module Digraph.PathCheck

Path checking

type path_checker
val create : t -> path_checker
val check_path : path_checker -> V.t -> V.t -> bool