Module Path.Check

Parameters

• 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