Module fungi_lang::parse

Syntax: abstract (via Rust datatypes) and concrete (via Rust macros).

Program terms:

• Declarations (d): concrete, abstract.
• Expressions (e): concrete, abstract.
• Values (v): concrete, abstract.

Types and effects:

• Value types (A,B): concrete, abstract.
• Computation types (C,D): concrete, abstract.
• Effect types (E): concrete, abstract.
• Effects (ε): concrete, abstract.
• Kinds (K): concrete, abstract.

Index terms, name terms, sorts:

• Name literals (n): concrete, abstract.
• Name terms (N,M): concrete, abstract.
• Index terms (i,j,X,Y,Z): concrete, abstract.
• Propositions (P): concrete, abstract.
• Sorts (g): concrete, abstract.