Derive the record count from the command spine without evaluating payloads
or machine routines. Inspection of other counts remains a separate operation.
1433def nativePhysicalProgramFromCommands =
1434 (lambda unrestricted identity : Bytes .
1435 (lambda unrestricted extent : Nat .
1436 (lambda unrestricted slots : Nat .
1437 (lambda unrestricted commands : (family NativePhysicalCommands) .
1438 (constructor
1439 NativePhysicalProgram
1440 NativePhysicalProgramValue
1441 (modelWord64FromNaturalTruncated extent)
1442 (modelWord64FromNaturalTruncated slots)
1443 commands
1444 (nativePhysicalCommandsLength commands)
1445 identity
1446 0)))))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.