Versioned prefix encoding of typed expression trees. Tags encode structure;
every number and literal occupies one canonical little-endian word. Input
count, assignment count and destination order are part of the identity.
This is semantic input to checkpoint hashing, not an executable packager.
16def pointwiseIdentityWord =
17 (lambda unrestricted value : Nat . (dataBytesWord64LE (modelWord64FromNaturalTruncated value)))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.