O += P V's slice kk, as sfValues's
1012def sfpValueProducts = (lambda unrestricted kk : Nat . (lambda unrestricted tail : (family SM86Program) .
1013 (saFor 8 (lambda unrestricted nt : Nat .
1014 (saOp (sfpHmma (saO nt) (saPA kk) (sfpB kk nt) (saO nt) saSB3
1015 (naturalSelect (naturalIsZero nt) (naturalSelect (naturalIsZero kk) saWait1 (naturalAdd saWait1 saWait3)) saWaitNone))))
1016 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.