您的浏览器已禁用 JavaScript。
跳过导航链接
模块
程序包
类
树
已过时
索引
帮助
Package:
Description
Related Packages
Classes and Interfaces
Package:
Description |
Related Packages
|
Classes and Interfaces
SEARCH:
模块
aya.base
程序包 org.aya.core.repr
package
org.aya.core.repr
Related Packages
程序包
说明
org.aya.core
All Classes and Interfaces
接口
类
Record Classes
类
说明
AyaShape
AyaShape.AyaIntLitShape
AyaShape.Factory
CodeShape
CodeShape.CtorShape
CodeShape.DataShape
CodeShape.FieldShape
CodeShape.FnShape
CodeShape.ParamShape
CodeShape.ParamShape.Any
CodeShape.ParamShape.Licit
CodeShape.ParamShape.Optional
CodeShape.PatShape
CodeShape.PatShape.Any
CodeShape.StructShape
CodeShape.TermShape
CodeShape.TermShape.Any
CodeShape.TermShape.Call
CodeShape.TermShape.TeleRef
ShapeMatcher