Agda.TypeChecking.Unquote

agdaTermType

qNameType

type UnquoteM

runUnquoteM

isCon

class Unquote a

unquoteH

unquoteN

choice

ensureDef

ensureCon

pickName

data UnquotedFunDef

reifyUnquoted