106def independentStateIdentity =
107 (lambda unrestricted slots : Nat .
108 (lambda unrestricted system : (family IndependentStateSystem slots) .
109 (eliminate
110 IndependentStateSystem
111 (lambda unrestricted current : (family IndependentStateSystem slots) . Bytes)
112 system
113 (branch
114 IndependentStateSystemOf
115 persistent
116 program
117 initial
118 .
119 (bytes-append
120 b"alpha-independent-state-v1;"
121 (bytes-append
122 (pointwiseIdentityWord persistent)
123 (bytes-append
124 (pointwiseProgramIdentity slots program)
125 (bytes-append
126 (pointwiseIdentityWord (stdListLength (family StdList StdU64) initial))
127 (stdListFold
128 (family StdList StdU64)
129 Bytes
130 (lambda unrestricted row : (family StdList StdU64) .
131 (lambda unrestricted rest : Bytes .
132 (bytes-append
133 (stdListFold
134 StdU64
135 Bytes
136 (lambda unrestricted word : StdU64 .
137 (lambda unrestricted tail : Bytes .
138 (bytes-append (dataBytesWord64LE word) tail)))
139 b""
140 row)
141 rest)))
142 b""
143 initial)))))))))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.