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