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