pub fn analyze_sorted<'a>(
    modules: impl IntoIterator<Item = &'a CompiledModule>
) -> Result<ReadWriteSetAnalysis>
Expand description

Like analyze_unsorted, but assumes that modules is already topologically sorted