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