220def embeddingGatherF32Instruction =
221 (lambda unrestricted body : (family SM86InstructionBody) .
222 (sm86ProgramSingleton
223 (constructor
224 SM86Instruction
225 SM86InstructionValue
226 (constructor SM86InstructionGuard SM86InstructionAlways)
227 body)))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.