every matrix's binary16 copy from its binary32 parameters
1593def cgRecastMatrix =
1594 (lambda unrestricted index : Nat .
1595 (cgCastDown
1596 (cgHalf index)
1597 (cgParameter cgBankP (cgMatrixEntry index))
1598 (cgEntryElements (cgMatrixEntry index))))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.