Module Ext_scc

type node = Vec_int.t
val graph : Vec_int.t array -> Int_vec_vec.t

Assume input is int array with offset from 0 Typical input

[|
  [ 1 ; 2 ]; // 0 -> 1,  0 -> 2 
  [ 1 ];   // 0 -> 1 
  [ 2 ]  // 0 -> 2 
|]

Note that we can tell how many nodes by calculating Array.length of the input

val graph_check : node array -> int * int list

Used for unit test