Module aya.base

Package org.aya.core.repr

Interface CodeShape.TermShape

All Known Implementing Classes:

CodeShape.TermShape.Any, CodeShape.TermShape.Call, CodeShape.TermShape.Sort, CodeShape.TermShape.TeleRef

Enclosing interface:

CodeShape

public static sealed interface CodeShape.TermShape
permits CodeShape.TermShape.Any, CodeShape.TermShape.Call, CodeShape.TermShape.TeleRef, CodeShape.TermShape.Sort

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	CodeShape.TermShape.Any
static final record	CodeShape.TermShape.Call
static final record	CodeShape.TermShape.Sort	The shape to Sort term, I am not very work well at type theory, so improve this feel free!
static final record	CodeShape.TermShape.TeleRef