Module Digraph.Marking

val dfs : t -> unit
val has_cycle : t -> bool