1227def sbWiden = (lambda unrestricted d : Nat . (lambda unrestricted a : Nat . (lambda unrestricted high : Nat . (lambda unrestricted wait : Nat .
1228 (saOp (constructor SM86InstructionBody SM86HalfToFloat (saR d) (saR a)
1229 (eliminate StdBool (lambda unrestricted current : (family StdBool) . (family SM86HalfSelector)) (stdBoolFromNatural high)
1230 (branch StdTrue . (constructor SM86HalfSelector SM86HighHalf))
1231 (branch StdFalse . (constructor SM86HalfSelector SM86LowHalf)))
1232 (saAfter wait)))))))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.