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 310–328

stdNumericProfileSubnormalsOf

Full file
310def stdNumericProfileSubnormalsOf =
311  (lambda unrestricted profile : (family StdNumericProfile) .
312    (eliminate
313      StdNumericProfile
314      (lambda unrestricted current : (family StdNumericProfile) . (family StdSubnormalHandling))
315      profile
316      (branch
317        StdNumericProfileOf
318        identity
319        storage
320        accumulation
321        rounding
322        contraction
323        order
324        subnormals
325        exceptional
326        table
327        .
328        subnormals)))

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.