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 430–439

stdApproximationIsUnsupported

Full file
430def stdApproximationIsUnsupported =
431  (lambda unrestricted bound : (family StdApproximation) .
432    (eliminate
433      StdApproximation
434      (lambda unrestricted current : (family StdApproximation) . Nat)
435      bound
436      (branch StdApproximationExact . zero)
437      (branch StdApproximationMaxUlp ulp . zero)
438      (branch StdApproximationUnmeasured . zero)
439      (branch StdApproximationUnsupported . (succ zero))))

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.