Module aya.base

Package org.aya.core.def

Interface GenericDef

All Superinterfaces:

AyaDocile

All Known Subinterfaces:

ClassDef, Def

All Known Implementing Classes:

CtorDef, DataDef, FieldDef, FnDef, PrimDef, StructDef, SubLevelDef, TopLevelDef, UserDef, UserDef.Type

public sealed interface GenericDef
extends AyaDocile
permits ClassDef, Def

Method Summary

Modifier and Type	Method	Description
@NotNull DefVar<?,?>	ref()
@NotNull Term	result()

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc, toDoc

Method Details

ref

@NotNull
@NotNull DefVar<?,?> ref()

result

@NotNull
@NotNull Term result()