38def finiteBF16Pair =
39 (lambda unrestricted packed : Nat .
40 (naturalMultiply
41 (finiteBF16Bits (naturalModuloUnchecked packed 65536))
42 (finiteBF16Bits (naturalDivideUnchecked packed 65536))))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.