`step index` for index in 0..count-1, in order.
717def dpEach =
718 (lambda unrestricted count : Nat .
719 (lambda unrestricted step : (pi unrestricted index : Nat . (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands))) .
720 (lambda unrestricted tail : (family NativePhysicalCommands) .
721 (stdListFold
722 Nat
723 (family NativePhysicalCommands)
724 (lambda unrestricted index : Nat .
725 (lambda unrestricted rest : (family NativePhysicalCommands) . (step index rest)))
726 tail
727 (stdListNaturalsBelow count)))))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.