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 330–348

stdNumericProfileReductionOrderOf

Full file
330def stdNumericProfileReductionOrderOf =
331  (lambda unrestricted profile : (family StdNumericProfile) .
332    (eliminate
333      StdNumericProfile
334      (lambda unrestricted current : (family StdNumericProfile) . (family StdReductionOrder))
335      profile
336      (branch
337        StdNumericProfileOf
338        identity
339        storage
340        accumulation
341        rounding
342        contraction
343        order
344        subnormals
345        exceptional
346        table
347        .
348        order)))

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.