Source/Packages

Compiler.IntegerLiteral

packages/compiler/src/Compiler/IntegerLiteral.alpha

903 lines95 declarations31.8 KiBSHA-256 578f5c4899f4

def · lines 308–320

integerLiteralDigitWord

Full file
308def integerLiteralDigitWord =
309  (lambda unrestricted digit : Byte .
310    (constructor
311      ModelWord64
312      ModelWord64Value
313      digit
314      (byte 0)
315      (byte 0)
316      (byte 0)
317      (byte 0)
318      (byte 0)
319      (byte 0)
320      (byte 0)))

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.