Agda.Auto.Convert
data Hint
type O
data TMode
type MapS a b
initMapS
popMapS
data S
type TOM
type MOT
tomy
getConst
getdfv
getMeta
getEqs
copatternsNotImplemented
literalsNotImplemented
class Conversion m a b
tomyIneq
fmType
fmExp
fmExps
fmLevel
icnvh
frommyExps
abslamvarname
modifyAbstractExpr
modifyAbstractClause
constructPats
frommyClause
contains_constructor
freeIn
negtype
findClauseDeep
matchType