412def planNativePointwiseProgram =
413 (lambda unrestricted slots : Nat .
414 (lambda unrestricted program : (family StdList (family PointwiseAssignment StdU64 slots)) .
415 (lambda unrestricted base : Nat .
416 (lambda unrestricted available : Nat .
417 (lambda unrestricted scratch : Nat .
418 (lambda unrestricted tail : (family NativePhysicalCommands) .
419 (nat-eliminate
420 (lambda unrestricted valid : Nat .
421 (family StdResult Bytes (family NativePhysicalCommands)))
422 (constructor
423 StdResult
424 StdFailure
425 Bytes
426 (family NativePhysicalCommands)
427 b"pointwise-program-admission")
428 (lambda unrestricted previous : Nat .
429 (lambda unrestricted ignored : (family StdResult Bytes (family NativePhysicalCommands)) .
430 (constructor
431 StdResult
432 StdSuccess
433 Bytes
434 (family NativePhysicalCommands)
435 (nativePointwiseCommands slots program base available scratch tail))))
436 (nativePointwiseAdmitted slots program base available))))))))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.