row half h, cos (s 0) or sin (s 1), n-tile j < 4, element e
1441def sqrWord = (lambda unrestricted h : Nat . (lambda unrestricted s : Nat . (lambda unrestricted j : Nat .
1442 (lambda unrestricted e : Nat .
1443 (naturalAdd 114 (naturalAdd (naturalMultiply 16 h) (naturalAdd (naturalMultiply 8 s)
1444 (naturalAdd (naturalMultiply 2 j) e))))))))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.