515def integerLiteralStepBytes =
516 (lambda unrestricted radix : (family IntegerLiteralRadix) .
517 (lambda unrestricted accumulator : (family ModelWord64) .
518 (lambda unrestricted digit : Byte .
519 (eliminate
520 IntegerLiteralU64StepResult
521 (lambda unrestricted current : (family IntegerLiteralU64StepResult) . Bytes)
522 (integerLiteralStep radix accumulator digit)
523 (branch IntegerLiteralU64StepSucceeded value . (Std.Word/stdU64EncodeLE value))
524 (branch IntegerLiteralU64StepFailed . b"")))))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.