Module sccs

charon_lib::transform::add_missing_info

Module sccs 

Source

Functionsยง

ordered_scc
Compute the SCCs (Strongly Connected Components) of a set of identifiers, where the order of the SCCs and the order of the identifiers inside the SCCs attempt to respect as much as possible the sort order given. The provided sort_by should be cheap.