the operand-reuse flags describe the NEXT instruction; an instruction
placed after this one invalidates them
436def sm121LowerWithoutReuse =
437 (lambda unrestricted high : Nat .
438 (sm121LowerWithField high sm121LowerReusePlace sm121LowerReuseSpan zero))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.