- 所有超级接口:
org.aya.guest0x0.cubical.Restr.TermLike<SerTerm>,Serializable,SerTerm
- 所有已知实现类:
SerTerm.ISet,SerTerm.Prop,SerTerm.Set,SerTerm.Type
- 封闭接口:
SerTerm
public static sealed interface SerTerm.Sort
extends SerTerm
permits SerTerm.Type, SerTerm.Set, SerTerm.Prop, SerTerm.ISet
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.guest0x0.cubical.Restr.TermLike
org.aya.guest0x0.cubical.Restr.TermLike.Factory<T>从接口继承的嵌套类/接口 org.aya.core.serde.SerTerm
SerTerm.Access, SerTerm.App, SerTerm.CallData, SerTerm.Coe, SerTerm.ConCall, SerTerm.DataCall, SerTerm.DeState, SerTerm.FieldRef, SerTerm.FnCall, SerTerm.Interval, SerTerm.ISet, SerTerm.Lam, SerTerm.Mula, SerTerm.New, SerTerm.PartEl, SerTerm.PartTy, SerTerm.Path, SerTerm.PathApp, SerTerm.PathLam, SerTerm.Pi, SerTerm.PrimCall, SerTerm.Proj, SerTerm.Prop, SerTerm.Ref, SerTerm.SerArg, SerTerm.SerCube, SerTerm.SerParam, SerTerm.Set, SerTerm.ShapedInt, SerTerm.Sigma, SerTerm.SimpVar, SerTerm.Sort, SerTerm.Str, SerTerm.StructCall, SerTerm.Tup, SerTerm.Type -
方法概要
从接口继承的方法 org.aya.guest0x0.cubical.Restr.TermLike
asFormula