Module aya.base

Interface Expr.Sort

All Superinterfaces:
AyaDocile, Expr, org.aya.guest0x0.cubical.Restr.TermLike<Expr>, org.aya.util.error.SourceNode
All Known Implementing Classes:
Expr.ISet, Expr.Prop, Expr.Set, Expr.Type
Enclosing interface:
Expr

public static sealed interface Expr.Sort extends Expr permits Expr.Type, Expr.Set, Expr.Prop, Expr.ISet