Module Traverse.Mark

Parameters

module G : GM

Signature

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