Module aya.base

Package org.aya.concrete

Interface TacNode

All Superinterfaces:

AyaDocile

All Known Implementing Classes:

TacNode.ExprTac, TacNode.ListExprTac

public sealed interface TacNode
extends AyaDocile
permits TacNode.ExprTac, TacNode.ListExprTac

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	TacNode.ExprTac
static final record	TacNode.ListExprTac

Method Summary

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc, toDoc