Agda.Auto.Convert
norm
type O
data TMode
type MapS a b
data S
type TOM
tomy
getConst
getMeta
getEqs
weaken
weakens
tomyType
tomyExp
fmType
fmExp
frommyExp
frommyExps
modifyAbstractExpr
modifyAbstractClause
constructPats
frommyClause
contains_constructor
etaContractBody
freeIn
negtype
findClauseDeep
matchType