AlphaGitHub
Source/Packages

Compiler.AST

packages/compiler/src/Compiler/AST.alpha

166 lines117 declarations5.7 KiBSHA-256 a0f24e9809ba
Download exact fileView at revisionf5034773ad4bb52133

def · lines 160–166

tokenCount

Full file
160def tokenCount : Nat =
161  (eliminate
162    SourceBytes
163    (lambda unrestricted source : (family SourceBytes) . Nat)
164    tokenizedSample
165    (branch SourceEnd . zero)
166    (branch SourceByte sourceByteValue sourceByteRest ih_sourceByteRest . (succ ih_sourceByteRest)))

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.