the cycles until a result of `writer`'s class is ready for every reader
1855def sm121LowerWriterLongest =
1856 (lambda unrestricted writer : (family SM121LowerClass) .
1857 (sm121LowerOverClasses
1858 (lambda unrestricted reader : (family SM121LowerClass) . (sm121LowerReadAfterWrite writer reader))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.