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 390–397

stdNumericFormatCode

Full file
390def stdNumericFormatCode =
391  (lambda unrestricted format : (family StdNumericFormat) .
392    (eliminate
393      StdNumericFormat
394      (lambda unrestricted current : (family StdNumericFormat) . Nat)
395      format
396      (branch StdFormatBinary32 . (succ zero))
397      (branch StdFormatBinary64 . (succ (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.