the element (row half h, column b) of an accumulator tile: c0 c1 the
first row, c2 c3 the row 8 below
220def saElem = (lambda unrestricted tile : Nat . (lambda unrestricted h : Nat . (lambda unrestricted b : Nat .
221 (naturalAdd tile (naturalAdd (naturalMultiply 2 h) b)))))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.