模块 aya.base

程序包 org.aya.core.serde

接口 SerTerm.SerMula

所有超级接口:

Serializable

所有已知实现类:

SerTerm.SerMula.Conn, SerTerm.SerMula.Inv, SerTerm.SerMula.Lit

封闭接口:

SerTerm

public static sealed interface SerTerm.SerMula
extends Serializable
permits SerTerm.SerMula.Conn, SerTerm.SerMula.Inv, SerTerm.SerMula.Lit

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	SerTerm.SerMula.Conn
static final record	SerTerm.SerMula.Inv
static final record	SerTerm.SerMula.Lit

方法概要

修饰符和类型	方法	说明
default @NotNull Term	de(@NotNull SerTerm.DeState state)

方法详细资料

de

@NotNull
default @NotNull Term de(@NotNull
 @NotNull SerTerm.DeState state)