131def embeddingGatherF32WidthElements =
132 (lambda unrestricted width : (family EmbeddingGatherF32Width) .
133 (eliminate
134 EmbeddingGatherF32Width
135 (lambda unrestricted current : (family EmbeddingGatherF32Width) . Nat)
136 width
137 (branch EmbeddingGatherF32Width1024 . embeddingGatherF32NaturalOneThousandTwentyFour)
138 (branch EmbeddingGatherF32Width576 .
139 (naturalAdd
140 (naturalMultiply (byte-to-nat (byte 2)) byteNaturalTwoHundredFiftySix)
141 (byte-to-nat (byte 64))))
142 (branch
143 EmbeddingGatherF32Width512
144 .
145 (naturalAdd byteNaturalTwoHundredFiftySix byteNaturalTwoHundredFiftySix))
146 (branch EmbeddingGatherF32Width256 . byteNaturalTwoHundredFiftySix)))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.