AlphaGitHub
Source/Packages

Std.Numeric.Profile

packages/foundation/standard/src/Std/Numeric/Profile.alpha

736 lines139 declarations26.5 KiBSHA-256 2450517e3794
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 728–736

stdNumericConversionCode

Full file
728def stdNumericConversionCode =
729  (lambda unrestricted conversion : (family StdNumericConversion) .
730    (eliminate
731      StdNumericConversion
732      (lambda unrestricted current : (family StdNumericConversion) . Nat)
733      conversion
734      (branch StdNumericKeepFormat format . 0)
735      (branch StdNumericWidenBinary32 . 1)
736      (branch StdNumericRoundBinary64 . 2)))

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.