Hierarchy For Package org.aya.core.term

Package Hierarchies:

• All Packages

Interface Hierarchy

• org.aya.generic.AyaDocile
  • org.aya.core.term.Term (also extends org.aya.guest0x0.cubical.Restr.TermLike<E>)
    • org.aya.core.term.Callable
      • org.aya.core.term.Callable.DefCall
    • org.aya.core.term.Elimination
    • org.aya.core.term.Formation
    • org.aya.core.term.StableWHNF
• org.aya.core.term.Callable.Factory<D,S>
• org.aya.guest0x0.cubical.Restr.TermLike<E>
  • org.aya.core.term.Term (also extends org.aya.generic.AyaDocile)
    • org.aya.core.term.Callable
      • org.aya.core.term.Callable.DefCall
    • org.aya.core.term.Elimination
    • org.aya.core.term.Formation
    • org.aya.core.term.StableWHNF

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.aya.core.term.IntervalTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.core.term.AppTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.CoeTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.ConCall (implements org.aya.core.term.Callable.DefCall)
    • org.aya.core.term.ConCall.Head
    • org.aya.core.term.DataCall (implements org.aya.core.term.Callable.DefCall, org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.ErrorTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.FieldTerm (implements org.aya.core.term.Callable)
    • org.aya.core.term.FnCall (implements org.aya.core.term.Callable.DefCall)
    • org.aya.core.term.FormulaTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.HCompTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.IntegerTerm (implements org.aya.generic.Shaped.Nat<T>, org.aya.core.term.StableWHNF)
    • org.aya.core.term.InTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.LamTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.LamTerm.Param (implements org.aya.core.UntypedParam)
    • org.aya.core.term.ListTerm (implements org.aya.generic.Shaped.List<T>, org.aya.core.term.StableWHNF)
    • org.aya.core.term.MatchTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.MetaLitTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.MetaPatTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.MetaTerm (implements org.aya.core.term.Callable)
    • org.aya.core.term.NewTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.OutTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.PAppTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.PartialTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.PartialTyTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.PathTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.PiTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.PLamTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.PrimCall (implements org.aya.core.term.Callable.DefCall)
    • org.aya.core.term.ProjTerm (implements org.aya.core.term.Elimination)
    • org.aya.core.term.RefTerm (implements org.aya.core.term.Term)
    • org.aya.core.term.RefTerm.Field (implements org.aya.core.term.Term)
    • org.aya.core.term.SigmaTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.SortTerm (implements org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.StringTerm (implements org.aya.core.term.StableWHNF)
    • org.aya.core.term.StructCall (implements org.aya.core.term.Callable.DefCall, org.aya.core.term.Formation, org.aya.core.term.StableWHNF)
    • org.aya.core.term.Term.Matching (implements org.aya.generic.AyaDocile)
    • org.aya.core.term.Term.Param (implements org.aya.generic.ParamLike<Expr>, org.aya.core.UntypedParam)
    • org.aya.core.term.TupTerm (implements org.aya.core.term.StableWHNF)