Top

Abstract-syntax

Expr/tyname

Fixtype of expressions or type names.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:expr → expr/tyname-expr
:tyname → expr/tyname-tyname

Subtopics

Expr/tyname-fix: Fixing function for expr/tyname structures.
Expr/tyname-case: Case macro for the different kinds of expr/tyname structures.
Expr/tyname-equiv: Basic equivalence relation for expr/tyname structures.
Expr/tyname-p: Recognizer for expr/tyname structures.
Expr/tyname-tyname
Expr/tyname-expr
Expr/tyname-kind: Get the kind (tag) of a expr/tyname structure.