AlphaGitHub
Source/Packages

Runtime.NativePhysicalProgramComposer

packages/execution/src/Runtime/NativePhysicalProgramComposer.alpha

1,548 lines120 declarations102.0 KiBSHA-256 d343a25865e7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 201–208

nativePhysicalProgramComposeCommandsCount

Full file
201def nativePhysicalProgramComposeCommandsCount =
202  (lambda unrestricted commands : (family NativePhysicalCommands) .
203    (eliminate NativePhysicalCommands
204      (lambda unrestricted current : (family NativePhysicalCommands) . Nat)
205      commands
206      (branch NativePhysicalCommandsEnd . zero)
207      (branch NativePhysicalCommandsNext head tail induction .
208        (succ 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.