Module Digraph.Marking

Graph traversal with marking

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