44def nativePhysicalTrainingBitMask =
45 (lambda unrestricted width : Nat .
46 (app
47 (app modelWord64Subtract
48 (app
49 (app nativePhysicalTrainingShiftLeftWord modelWord64One)
50 width))
51 modelWord64One))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.