Module Sig_pack.S.Marking

module Marking: sig .. end
Graph traversal with marking

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