134def embeddingGatherF32WidthElements =
135 (lambda unrestricted width : (family EmbeddingGatherF32Width) .
136 (eliminate
137 EmbeddingGatherF32Width
138 (lambda unrestricted current : (family EmbeddingGatherF32Width) . Nat)
139 width
140 (branch EmbeddingGatherF32Width1024 . embeddingGatherF32NaturalOneThousandTwentyFour)
141 (branch EmbeddingGatherF32Width576 .
142 (naturalAdd
143 (naturalMultiply (byte-to-nat (byte 2)) byteNaturalTwoHundredFiftySix)
144 (byte-to-nat (byte 64))))
145 (branch
146 EmbeddingGatherF32Width512
147 .
148 (naturalAdd byteNaturalTwoHundredFiftySix byteNaturalTwoHundredFiftySix))
149 (branch EmbeddingGatherF32Width256 . byteNaturalTwoHundredFiftySix)
150 (branch EmbeddingGatherF32Width768 .
151 (naturalMultiply (byte-to-nat (byte 3)) byteNaturalTwoHundredFiftySix))
152 (branch EmbeddingGatherF32Width1344 .
153 (naturalAdd
154 (naturalMultiply (byte-to-nat (byte 5)) byteNaturalTwoHundredFiftySix)
155 (byte-to-nat (byte 64))))))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.