1423def decodeDecimalDigit =
1424 (lambda unrestricted value : Byte .
1425 (chooseDecimalDigit
1426 (byte-equal value (byte 48))
1427 zero
1428 (chooseDecimalDigit
1429 (byte-equal value (byte 49))
1430 (succ zero)
1431 (chooseDecimalDigit
1432 (byte-equal value (byte 50))
1433 (succ (succ zero))
1434 (chooseDecimalDigit
1435 (byte-equal value (byte 51))
1436 (succ (succ (succ zero)))
1437 (chooseDecimalDigit
1438 (byte-equal value (byte 52))
1439 (succ (succ (succ (succ zero))))
1440 (chooseDecimalDigit
1441 (byte-equal value (byte 53))
1442 (succ (succ (succ (succ (succ zero)))))
1443 (chooseDecimalDigit
1444 (byte-equal value (byte 54))
1445 (succ (succ (succ (succ (succ (succ zero))))))
1446 (chooseDecimalDigit
1447 (byte-equal value (byte 55))
1448 (succ (succ (succ (succ (succ (succ (succ zero)))))))
1449 (chooseDecimalDigit
1450 (byte-equal value (byte 56))
1451 (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
1452 (chooseDecimalDigit
1453 (byte-equal value (byte 57))
1454 (succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))))
1455 (constructor DecimalDigitResult NotDecimalDigit))))))))))))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.