599def stdI8ToI16 =
600 (lambda unrestricted value : (family StdI8) .
601 (stdI16FromU16 (stdU16FromBytes (stdI8ToByte value) (stdI8SignByte value))))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.