Agda.TypeChecking.Quote

quoteTerm

quoteName

quoteType

agdaTermType

qNameType