- 所有超级接口:
org.aya.guest0x0.cubical.Restr.TermLike<SerTerm>,Serializable
- 所有已知子接口:
SerTerm.Sort
- 所有已知实现类:
SerTerm.Access,SerTerm.App,SerTerm.Coe,SerTerm.ConCall,SerTerm.DataCall,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.Set,SerTerm.ShapedInt,SerTerm.Sigma,SerTerm.Str,SerTerm.StructCall,SerTerm.Tup,SerTerm.Type
public sealed interface SerTerm
extends Serializable, org.aya.guest0x0.cubical.Restr.TermLike<SerTerm>
permits SerTerm.Sort, SerTerm.DataCall, SerTerm.StructCall, SerTerm.Pi, SerTerm.Sigma, SerTerm.Ref, SerTerm.Lam, SerTerm.New, SerTerm.Proj, SerTerm.App, SerTerm.FnCall, SerTerm.PrimCall, SerTerm.ConCall, SerTerm.Tup, SerTerm.Access, SerTerm.FieldRef, SerTerm.Interval, SerTerm.Mula, SerTerm.ShapedInt, SerTerm.Str, SerTerm.PartEl, SerTerm.PartTy, SerTerm.Path, SerTerm.PathLam, SerTerm.PathApp, SerTerm.Coe
-
嵌套类概要
嵌套类修饰符和类型接口说明static final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic final recordstatic interfacestatic final recordstatic final recordstatic final recordstatic final record从接口继承的嵌套类/接口 org.aya.guest0x0.cubical.Restr.TermLike
org.aya.guest0x0.cubical.Restr.TermLike.Factory<T> -
方法概要
从接口继承的方法 org.aya.guest0x0.cubical.Restr.TermLike
asFormula
-
方法详细资料
-
de
-