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 270–288

stdNumericProfileTable

Full file
projections
270def stdNumericProfileTable =
271  (lambda unrestricted profile : (family StdNumericProfile) .
272    (eliminate
273      StdNumericProfile
274      (lambda unrestricted current : (family StdNumericProfile) . (family StdApproximationTable))
275      profile
276      (branch
277        StdNumericProfileOf
278        identity
279        storage
280        accumulation
281        rounding
282        contraction
283        order
284        subnormals
285        exceptional
286        table
287        .
288        table)))

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.