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