AlphaGitHub
Source/Packages

Std.Word

packages/foundation/standard/src/Std/Word.alpha

1,783 lines192 declarations64.2 KiBSHA-256 27bf8c3f30ee
Download exact fileView at revision3c600751929f56cd01

def · lines 1433–1456

stdU16DivRem

Full file
1433def stdU16DivRem =
1434  (lambda unrestricted dividend : (family StdU16) .
1435    (lambda unrestricted divisor : (family StdU16) .
1436      (eliminate
1437        StdDivision
1438        (lambda unrestricted current : (family StdDivision (family ModelWord32)) .
1439          (family StdDivision (family StdU16)))
1440        (stdU32DivRem (stdU16ToU32 dividend) (stdU16ToU32 divisor))
1441        (branch
1442          StdDivisionSucceeded
1443          quotient
1444          remainder
1445          .
1446          (constructor
1447            StdDivision
1448            StdDivisionSucceeded
1449            (family StdU16)
1450            (stdU32ToU16 quotient)
1451            (stdU32ToU16 remainder)))
1452        (branch
1453          StdDivisionFailed
1454          error
1455          .
1456          (constructor StdDivision StdDivisionFailed (family StdU16) 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.