AlphaGitHub
Source/Packages

Compiler.IntegerLiteral

packages/compiler/src/Compiler/IntegerLiteral.alpha

903 lines95 declarations31.8 KiBSHA-256 578f5c4899f4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 666–671

integerLiteralLessOrEqual

Full file
666def integerLiteralLessOrEqual =
667  (lambda unrestricted left : (family ModelWord64) .
668    (lambda unrestricted right : (family ModelWord64) .
669      -- Unsigned words form a total order. Negating the reverse comparison
670      -- avoids the general XOR-based equality implementation at this boundary.
671      (stdFlagNot (stdU64LessThan right left))))

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.