635def sm121LowerTableLongest : Nat =
636 (sm121LowerOverClasses
637 (lambda unrestricted writer : (family SM121LowerClass) .
638 (sm121LowerOverClasses
639 (lambda unrestricted reader : (family SM121LowerClass) .
640 (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.