module PathCheck: sig .. end
sig
end
type path_checker
val create : Sig_pack.S.t -> path_checker
Sig_pack.S.t -> path_checker
val check_path : path_checker -> Sig_pack.S.V.t -> Sig_pack.S.V.t -> bool
path_checker -> Sig_pack.S.V.t -> Sig_pack.S.V.t -> bool