Idris.Delaborate
annName
bugaddr
delab
delabWithEnv
delabDirect
delab'
delabMV
delabSugared
delabTy
delabTy'
fancifyAnnots
pprintDelab
pprintNoDelab
pprintDelabTy
pprintErr
resugar