- 所有已实现的接口:
Def,GenericDef,AyaDocile
core struct definition, corresponding to
TeleDecl.StructDecl-
嵌套类概要
从类继承的嵌套类/接口 org.aya.core.def.UserDef
UserDef.Type从接口继承的嵌套类/接口 org.aya.core.def.Def
Def.Signature -
字段概要
字段修饰符和类型字段说明final @NotNull kala.collection.immutable.ImmutableSeq<FieldDef>final @NotNull DefVar<StructDef,TeleDecl.StructDecl> 从类继承的字段 org.aya.core.def.TopLevelDef
result, telescope -
构造器概要
构造器构造器说明StructDef(@NotNull DefVar<StructDef, TeleDecl.StructDecl> ref, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, FormTerm.Sort ulift, @NotNull kala.collection.immutable.ImmutableSeq<FieldDef> fields) -
方法概要
从类继承的方法 org.aya.core.def.TopLevelDef
result, telescope从类继承的方法 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait从接口继承的方法 org.aya.generic.AyaDocile
debuggerOnlyToDoc
-
字段详细资料
-
ref
-
fields
-
-
构造器详细资料
-
StructDef
public StructDef(@NotNull @NotNull DefVar<StructDef, TeleDecl.StructDecl> ref, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, FormTerm.Sort ulift, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<FieldDef> fields)
-
-
方法详细资料
-
ref
-