K^T's lanes, one a column pair p (the swizzle does not commute with +2p)
1997def sqdLaneKeys = (lambda unrestricted p : Nat . (naturalAdd 202 p))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.