Expression-fixtypes
Mutually recursive fixtypes for Syntheto expressions.
Subtopics
- Expression
- Fixtype of Syntheto expressions.
- Initializer
- Fixtype of Syntheto field initializers.
- Branch
- Fixtype of Syntheto branches.
- Initializer-list
- Fixtype of lists of Syntheto field initializers.
- Expression-list
- Fixtype of lists of Syntheto expressions.
- Branch-list
- Fixtype of lists of Syntheto branches.