catala.scopelang
Dependency.TSCC
Tarjan's stongly connected components algorithm, provided by OCamlGraph
catala
catala.dcalc
catala.desugared
catala.literate
catala.surface
catala.utils
val scc : TDependencies.t -> int * (TDependencies.V.t -> int)
val scc_array : TDependencies.t -> TDependencies.V.t list array
val scc_list : TDependencies.t -> TDependencies.V.t list list