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