模块 aya.base

程序包 org.aya.core.repr

接口 CodeShape.TermShape

所有已知实现类:

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

封闭接口:

CodeShape

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

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	CodeShape.TermShape.Any
static final record	CodeShape.TermShape.Call
static final record	CodeShape.TermShape.TeleRef