Module aya.base

Package org.aya.core.repr

Interface TermShape

All Known Subinterfaces:

TermShape.Callable

All Known Implementing Classes:

TermShape.Any, TermShape.CtorCall, TermShape.NameCall, TermShape.ShapeCall, TermShape.Sort

public sealed interface TermShape
permits TermShape.Callable, TermShape.Any, TermShape.Sort

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	TermShape.Any
static interface	TermShape.Callable
static final record	TermShape.CtorCall
static final record	TermShape.NameCall
static final record	TermShape.ShapeCall
static final record	TermShape.Sort	The shape to Sort term, I am not very work well at type theory, so improve this feel free!