Module Path.Check

Parameters

module G : sig ... end

Signature

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