Up – imandrakit » Imandrakit » Scc » Make

Module `Scc.Make`

Parameters
Signature

Parameters

module A : ARG

Signature

module A = A

val sccs : graph:A.t -> nodes:A.node list -> A.node list A.Node_tbl.t