586def bobSubmitEachStep =
587 (lambda unrestricted count : Nat .
588 (lambda unrestricted firstGPPut : Nat .
589 (lambda unrestricted tail : (family NvidiaPlanHostSteps) .
590 (constructor
591 NvidiaPlanHostSteps
592 NvidiaPlanHostStepRepeat
593 count
594 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepSubmit firstGPPut 1 bobStepsEnd)
595 tail))))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.