Agda.Syntax.Internal.Generic

class TermLike a

Constants

Functors

Real terms

copyTerm