Module aya.base

Package org.aya.core.repr

Interface TermShape.Callable

All Superinterfaces:

TermShape

All Known Implementing Classes:

TermShape.CtorCall, TermShape.NameCall, TermShape.ShapeCall

Enclosing interface:

TermShape

public static sealed interface TermShape.Callable
extends TermShape
permits TermShape.ShapeCall, TermShape.NameCall, TermShape.CtorCall

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.core.repr.TermShape

TermShape.Any, TermShape.Callable, TermShape.CtorCall, TermShape.NameCall, TermShape.ShapeCall, TermShape.Sort

Method Summary

Modifier and Type	Method	Description
@NotNull kala.collection.immutable.ImmutableSeq<TermShape>	args()

Method Details

args

@NotNull
@NotNull kala.collection.immutable.ImmutableSeq<TermShape> args()