AlphaGitHub
Source/Packages

Runtime.NativePhysicalProgram

packages/execution/src/Runtime/NativePhysicalProgram.alpha

1,008 lines185 declarations40.0 KiBSHA-256 e6bb0cdfb8f4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 553–567

nativePhysicalCommandsCounts

Full file
553def nativePhysicalCommandsCounts =
554  (lambda unrestricted commands : (family NativePhysicalCommands) .
555    (eliminate
556      NativePhysicalCommands
557      (lambda unrestricted current : (family NativePhysicalCommands) .
558        (family NativePhysicalCounts))
559      commands
560      (branch NativePhysicalCommandsEnd . nativePhysicalZeroCounts)
561      (branch
562        NativePhysicalCommandsNext
563        head
564        tail
565        induction
566        .
567        (nativePhysicalAddCounts (nativePhysicalCommandCounts head) induction))))

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.