AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 5545–5559

syntaxUsesSequencing

Full file
5545def syntaxUsesSequencing =
5546  (lambda unrestricted syntax : (family Syntax) .
5547    (eliminate
5548      Syntax
5549      (lambda unrestricted current : (family Syntax) . Nat)
5550      syntax
5551      (branch SyntaxAtom spelling origin . zero)
5552      (branch SyntaxEmpty . zero)
5553      (branch SyntaxCons head tail ih_head ih_tail . (parserFlagOr ih_head ih_tail))
5554      (branch
5555        SyntaxNode
5556        children
5557        ih_children
5558        .
5559        (parserFlagOr (syntaxSequencingHead children) ih_children))))

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.