[−][src]Module voile::syntax::core::ast
Structs
| Closure | A closure with parameter type explicitly specified. |
Enums
| Axiom | Postulated value (or temporarily irreducible expressions), aka axioms. |
| Neutral | Irreducible because of the presence of generated value. |
| Val | Non-redex, canonical values. |
Traits
| RedEx | Reducible expressions. |
Type Definitions
| TVal | Type values. |
| Variants |