1667def stdI16DivRemWrapping =
1668 (lambda unrestricted dividend : (family StdI16) .
1669 (lambda unrestricted divisor : (family StdI16) .
1670 (eliminate
1671 StdDivision
1672 (lambda unrestricted current : (family StdDivision (family StdI32)) .
1673 (family StdDivision (family StdI16)))
1674 (stdI32DivRemWrapping (stdI16ToI32 dividend) (stdI16ToI32 divisor))
1675 (branch
1676 StdDivisionSucceeded
1677 quotient
1678 remainder
1679 .
1680 (constructor
1681 StdDivision
1682 StdDivisionSucceeded
1683 (family StdI16)
1684 (stdI32ToI16 quotient)
1685 (stdI32ToI16 remainder)))
1686 (branch
1687 StdDivisionFailed
1688 error
1689 .
1690 (constructor StdDivision StdDivisionFailed (family StdI16) error)))))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.