1716def stdI8DivRemWrapping =
1717 (lambda unrestricted dividend : (family StdI8) .
1718 (lambda unrestricted divisor : (family StdI8) .
1719 (eliminate
1720 StdDivision
1721 (lambda unrestricted current : (family StdDivision (family StdI32)) .
1722 (family StdDivision (family StdI8)))
1723 (stdI32DivRemWrapping (stdI8ToI32 dividend) (stdI8ToI32 divisor))
1724 (branch
1725 StdDivisionSucceeded
1726 quotient
1727 remainder
1728 .
1729 (constructor
1730 StdDivision
1731 StdDivisionSucceeded
1732 (family StdI8)
1733 (stdI32ToI8 quotient)
1734 (stdI32ToI8 remainder)))
1735 (branch
1736 StdDivisionFailed
1737 error
1738 .
1739 (constructor StdDivision StdDivisionFailed (family StdI8) 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.