444def embeddingGatherF32FailureCodeBytes =
445 (lambda unrestricted code : (family EmbeddingGatherF32FailureCode) .
446 (eliminate
447 EmbeddingGatherF32FailureCode
448 (lambda unrestricted current : (family EmbeddingGatherF32FailureCode) . Bytes)
449 code
450 (branch EmbeddingGatherF32TokenOutOfBounds . b"ALPHA-SM86-EMB-001")
451 (branch EmbeddingGatherF32ChannelOutOfBounds . b"ALPHA-SM86-EMB-002")
452 (branch EmbeddingGatherF32TokenCountZero . b"ALPHA-SM86-EMB-003")
453 (branch EmbeddingGatherF32InstructionCountMismatch . b"ALPHA-SM86-EMB-004")
454 (branch EmbeddingGatherF32EncodingFailed . b"ALPHA-SM86-EMB-005")
455 (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.