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 648–666

stdNumericProfileAccumulationOf

Full file
648def stdNumericProfileAccumulationOf =
649  (lambda unrestricted profile : (family StdNumericProfile) .
650    (eliminate
651      StdNumericProfile
652      (lambda unrestricted current : (family StdNumericProfile) . (family StdNumericFormat))
653      profile
654      (branch
655        StdNumericProfileOf
656        identity
657        storage
658        accumulation
659        rounding
660        contraction
661        order
662        subnormals
663        exceptional
664        table
665        .
666        accumulation)))

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.