- All Superinterfaces:
AyaDocile,Callable,Callable.Common,Callable.Tele,org.aya.guest0x0.cubical.Restr.TermLike<Term>,Term
- All Known Implementing Classes:
FnCall,RuleReducer.Fn
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.aya.core.term.Callable
Callable.Common, Callable.Factory<D extends Def,S extends Decl>, Callable.Tele Nested classes/interfaces inherited from interface org.aya.core.term.Term
Term.Matching, Term.Param -
Method Summary
Methods inherited from interface org.aya.generic.AyaDocile
debuggerOnlyToDocMethods inherited from interface org.aya.core.term.Callable.Tele
ref, uliftMethods inherited from interface org.aya.guest0x0.cubical.Restr.TermLike
asFormulaMethods inherited from interface org.aya.core.term.Term
computeType, descent, findUsages, freezeHoles, lift, normalize, rename, scopeCheck, subst, subst, subst, subst, toDoc