Agda.TypeChecking.Quote
data QuotingKit
quotingKit
quoteString
quoteName
quoteNat
quoteConName
quoteMeta
quoteTerm
quoteType
quoteDom
quoteDefn
quoteList