Agda.Syntax.Internal.Generic
class
TermLike
a
Constants
Functors
Real terms
copyTerm