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