Agda.TypeChecking.Quote

data QuotingKit

quotingKit

quoteString

quoteName

quoteNat

quoteConName

quoteMeta

quoteTerm

quoteType

quoteDom

quoteDefn

quoteList