AlphaGitHub
Source/Packages

Compiler.Elaborator

packages/compiler/src/Compiler/Elaborator.alpha

1,138 lines65 declarations36.4 KiBSHA-256 71619035ff76
Download exact fileView at revisionf5034773ad4bb52133

def · lines 525–532

chooseByteToNaturalApplication

Full file
525def chooseByteToNaturalApplication =
526  (lambda unrestricted spelling : Bytes .
527    (lambda unrestricted argument : (family ClosedNaturalElaboration) .
528      (selectPrimitiveBySpelling
529        spelling
530        byteToNaturalSpelling
531        (elaborateByteToNaturalArgument argument)
532        (chooseNaturalToByteApplication spelling argument))))

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.