382def nitCommands =
383 (lambda unrestricted slots : Nat .
384 (lambda unrestricted system : (family IndependentStateSystem slots) .
385 (lambda unrestricted layout : (family NativeIndependentTreeLayout) .
386 (lambda unrestricted fanout : Nat .
387 (lambda unrestricted role : Nat .
388 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
389 (lambda unrestricted resume : Nat .
390 (lambda unrestricted steps : Nat .
391 (lambda unrestricted step : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
392 (let unrestricted owners =
393 (niOwners slots system)
394 in
395 (let unrestricted stateAt =
396 (nitStateAt layout)
397 in
398 (niInitializeAt
399 slots
400 system
401 (nitValuesAt layout)
402 role
403 (nitStart
404 slots
405 system
406 layout
407 fanout
408 role
409 resume
410 (niFinite
411 (nitValuesAt layout)
412 slots
413 (nativePeerEdgeSetup
414 role
415 edges
416 (nitEndpoint slots layout)
417 (niRoundsAt
418 stateAt
419 steps
420 step
421 (nativeTreePublish
422 (nitPublicationPlan layout resume)
423 fanout
424 owners
425 role
426 edges
427 (nitCommitmentFor slots system fanout layout)
428 (nitReleaseFor slots system fanout layout)
429 stateAt
430 nativeRegionCaptureBytes
431 (lambda unrestricted shard : (family NativeRegionShard) .
432 nativeRegionCaptureBytes)
433 (nitPaths owners role)
434 (nativePeerEdgesFold
435 edges
436 (lambda unrestricted index : Nat .
437 (lambda unrestricted edge : (family NativePeerEdge) .
438 (nativeSocketCloseChecked
439 (nativeLaunchRecipeSlotValue
440 (nativePeerEdgeConnectionSlot index))
441 nativePeerScratchSlot)))
442 (niOutput stateAt (niCaptureBytes slots system) niHalt)))))))))))))))))))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.