sig val scc : Sig_pack.S.t -> int * (Sig_pack.S.V.t -> int) val scc_array : Sig_pack.S.t -> Sig_pack.S.V.t list array val scc_list : Sig_pack.S.t -> Sig_pack.S.V.t list list end