Agda.TypeChecking.Quote
data
QuotingKit
quotingKit
quoteName
quoteConName
quoteTerm
quoteType