Fixed-width integers (Language & Testing Evolution L11, PRD 08 N4). The public
vocabulary aliases the existing word owners; U8/U16, the signed I8..I64
families, div/rem, bit/shift, comparisons, conversions and byte codecs arrive
in L11c/L11d. `Model.Word*` names stay internal until the rename chunk
(NUM-009): `Std.Word` is the public name.
L11r adds division (StdDivision, stdU8..U64DivRem, stdI8..I64DivRem{Checked,Wrapping})
and the checked U32 shifts; see the DIVISION sections below.
I64: a signed 64-bit integer as a DISTINCT two's-complement wrapper over the
unsigned word (L11g). A distinct type keeps signed and unsigned apart in the
type system; the bits are a ModelWord64. Signed comparison/arithmetic (the
subtle two's-complement operations) land next; L11g provides the type,
construction/projection, and bit-equality.
26family StdI64 : Type 0
27constructor StdI64Of
28field unrestricted stdI64Bits : (family ModelWord64)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.