Identity binds the relation, namespace and membership epoch. Different
equivalent decompositions may intentionally have different commitments;
no optimizer may silently rewrite one after peers have agreed its identity.
514def participantWord =
515 (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.