sig
  val scc : Sig_pack.S.t -> Sig_pack.S.V.t -> int
  val scc_list : Sig_pack.S.t -> Sig_pack.S.V.t list list
end