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 668–686

stdNumericProfileRoundingOf

Full file
668def stdNumericProfileRoundingOf =
669  (lambda unrestricted profile : (family StdNumericProfile) .
670    (eliminate
671      StdNumericProfile
672      (lambda unrestricted current : (family StdNumericProfile) . (family StdRounding))
673      profile
674      (branch
675        StdNumericProfileOf
676        identity
677        storage
678        accumulation
679        rounding
680        contraction
681        order
682        subnormals
683        exceptional
684        table
685        .
686        rounding)))

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.