AlphaGitHub
Source/Packages

Std.Natural

packages/foundation/standard/src/Std/Natural.alpha

325 lines48 declarations14.4 KiBSHA-256 4234d9ebfedf
Download exact fileView at revision3c600751929f56cd01

def · lines 212–213

naturalTwoHundredFiftySix

Full file
256, by doubling: the divisor behind "fits in N bytes".
212def naturalTwoHundredFiftySix =
213  (naturalPowerOfTwo (succ (succ (succ (succ (succ (succ (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.