the four slices, two loaded ahead: each slice's products issue before the
slice two on overwrites its buffer
996def sfpScores = (lambda unrestricted guard : Nat . (lambda unrestricted scores : (pi unrestricted nt : Nat . Nat) .
997 (lambda unrestricted base : Nat . (lambda unrestricted tail : (family SM86Program) .
998 (sfpKeySlice guard base 0 (sfpKeySlice guard base 1
999 (sfpScoreSlice guard scores 0 (sfpKeySlice guard base 2
1000 (sfpScoreSlice guard scores 1 (sfpKeySlice guard base 3
1001 (sfpScoreSlice guard scores 2
1002 (sfpScoreSlice guard scores 3 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.