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