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