K's (then V^T's) B fragments: slice k, n-tile nt, half h
197def saB = (lambda unrestricted k : Nat . (lambda unrestricted nt : Nat .
198 (naturalAdd 100 (naturalMultiply (naturalAdd (naturalMultiply k 8) nt) 2))))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.