244def niIdentity =
245 (lambda unrestricted slots : Nat .
246 (lambda unrestricted system : (family IndependentStateSystem slots) .
247 (lambda unrestricted digest : Bytes .
248 (lambda unrestricted operation : Nat .
249 (lambda unrestricted sender : Nat .
250 (lambda unrestricted receiver : Nat .
251 (constructor
252 RegionTransferIdentity
253 RegionTransferIdentityOf
254 digest
255 b"independent-state-v1"
256 b"owned-state"
257 b"finite-f64-rne-separate"
258 (constructor LearningRound LearningRoundOf 1 0)
259 operation
260 sender
261 receiver
262 (constructor
263 LogicalInterval
264 LogicalIntervalOf
265 0
266 (naturalMultiply (niOwners slots system) (niWidth slots system))))))))))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.