Module Sig_pack.S.PathCheck

module PathCheck: sig .. end
Path checking

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