- 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 ClassesModifier and TypeInterfaceDescriptionstatic final recordstatic final recordstatic final recordThe shape to Sort term, I am not very work well at type theory, so improve this feel free!static final record