435def embeddingGatherF32FailureCodeBytes =
436 (lambda unrestricted code : (family EmbeddingGatherF32FailureCode) .
437 (eliminate
438 EmbeddingGatherF32FailureCode
439 (lambda unrestricted current : (family EmbeddingGatherF32FailureCode) . Bytes)
440 code
441 (branch EmbeddingGatherF32TokenOutOfBounds . b"ALPHA-SM86-EMB-001")
442 (branch EmbeddingGatherF32ChannelOutOfBounds . b"ALPHA-SM86-EMB-002")
443 (branch EmbeddingGatherF32TokenCountZero . b"ALPHA-SM86-EMB-003")
444 (branch EmbeddingGatherF32InstructionCountMismatch . b"ALPHA-SM86-EMB-004")
445 (branch EmbeddingGatherF32EncodingFailed . b"ALPHA-SM86-EMB-005")
446 (branch EmbeddingGatherF32IdentityInvalid . b"ALPHA-SM86-EMB-006")))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.