Derive the record count from the command spine without evaluating payloads
or machine routines. Inspection of other counts remains a separate operation.
1300def nativePhysicalProgramFromCommands =
1301 (lambda unrestricted identity : Bytes .
1302 (lambda unrestricted extent : Nat .
1303 (lambda unrestricted slots : Nat .
1304 (lambda unrestricted commands : (family NativePhysicalCommands) .
1305 (constructor
1306 NativePhysicalProgram
1307 NativePhysicalProgramValue
1308 (modelWord64FromNaturalTruncated extent)
1309 (modelWord64FromNaturalTruncated slots)
1310 commands
1311 (nativePhysicalCommandsLength commands)
1312 identity
1313 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.