instructions run: 18 before the outer loop; per output 2 + 9k + 9 + 13k + 3;
4 after; with a margin
176def linearStepLoopSM86FuelFor =
177 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
178 (naturalAdd 32 (naturalMultiply m (naturalAdd 16 (naturalMultiply 22 k))))))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.