Idris.Transforms
data
TTOpt
class
Transform
a
natTrans
zname
sname
zero
suc
natcase