Module Traverse.Mark

Parameters

• G : GM

Signature

val dfs : G.t -> unit

val has_cycle : G.t -> bool