Agda.TypeChecking.Quote

data QuotingKit

quotingKit

quoteName

quoteConName

quoteTerm

quoteType