CODECS (L11o, NUM-008). The OWNER of the fixed-width LE/BE codecs is
Data.Bytes (evidence/language-testing/L11n-codec-owner-audit.md); these are
the width-vocabulary names for its functions, never a second implementation.
Encode* : value -> Bytes (byte assembly; LE = byte 0 first, BE = last)
Read* : bounded read -> value + the remaining input, or InputTooShort
Decode*Exact : canonical decode -> value only when the input is EXACTLY the
width (short AND trailing input -> MalformedLength)
910def stdU32EncodeLE =
911 dataBytesWord32LEThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.