Module Ext_scc

type node = Vec_int.t;
let graph: array(Vec_int.t) => 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

let graph_check: array(node) => (int, list(int));

Used for unit test