621def stdF32UnitAssemble =
622 (lambda unrestricted state : (family StdF32UnitState) .
623 (eliminate
624 StdF32UnitState
625 (lambda unrestricted current : (family StdF32UnitState) . (family InferenceFloat32))
626 state
627 (branch
628 StdF32UnitStateOf
629 current
630 shifts
631 .
632 (stdF32FromWord32
633 (stdU32AddWrapping
634 (stdU32ShiftLeft
635 (constructor
636 ModelWord32
637 ModelWord32Value
638 (nat-to-byte (naturalSaturatingSubtract (byte-to-nat (byte 126)) shifts))
639 (byte 0)
640 (byte 0)
641 (byte 0))
642 (byte-to-nat (byte 23)))
643 (stdU32SubtractWrapping current stdF32UnitLeadingBit))))))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.