718def bobHostLearnerAdmitted =
719 (lambda unrestricted layout : (family NvidiaPlanHostLayout) .
720 (lambda unrestricted realized : (family BobRealizedTables) .
721 (eliminate
722 BobRealizedTables
723 (lambda unrestricted current : (family BobRealizedTables) . Nat)
724 realized
725 (branch
726 BobRealizedTablesValue
727 addresses
728 words
729 .
730 (naturalAnd
731 (naturalEqual
732 (adamWF32ScaledEpsilonOffsetOf adamWF32ABI)
733 (naturalAdd bobAdamWWordOffset 4))
734 (nvidiaPlanHostAdamWSitesAdmitted
735 layout
736 addresses
737 words
738 bobAdamWWordOffset
739 bobUpdatesPerInvocation
740 bobAdamWLaunches
741 bobAdamWBaked))))))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.