sig val dfs : Sig_pack.S.t -> unit val has_cycle : Sig_pack.S.t -> bool end