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 708–716

stdNumericConversionSource

Full file
708def stdNumericConversionSource =
709  (lambda unrestricted conversion : (family StdNumericConversion) .
710    (eliminate
711      StdNumericConversion
712      (lambda unrestricted current : (family StdNumericConversion) . (family StdNumericFormat))
713      conversion
714      (branch StdNumericKeepFormat format . format)
715      (branch StdNumericWidenBinary32 . (constructor StdNumericFormat StdFormatBinary32))
716      (branch StdNumericRoundBinary64 . (constructor StdNumericFormat StdFormatBinary64))))

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.