223def niContext =
224 (lambda unrestricted slots : Nat .
225 (lambda unrestricted system : (family IndependentStateSystem slots) .
226 (constructor
227 CheckpointEnvelopeContract
228 CheckpointEnvelopeContractValue
229 (bytes-append
230 b"independent-owner-state-f64-finite-rne-separate-v2;"
231 (independentStateIdentity slots system))
232 b"typed-sequential-local-transitions"
233 b"immutable-local-inputs;one-input-round-per-update"
234 b"declared-initial-state;no-randomness"
235 1
236 1
237 1)))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.