Module aya.base

Package org.aya.core.serde

Interface SerTerm.SerShapedApplicable

All Superinterfaces:

Serializable

All Known Implementing Classes:

SerTerm.SerIntegerOps

Enclosing interface:

SerTerm

public static sealed interface SerTerm.SerShapedApplicable
extends Serializable
permits SerTerm.SerIntegerOps

Method Summary

Modifier and Type	Method	Description
Shaped.Applicable<Term,?,?>	deShape(@NotNull SerTerm.DeState state)

Method Details

deShape

@NotNull
Shaped.Applicable<Term,?,?> deShape(@NotNull
 @NotNull SerTerm.DeState state)