Idris.Core.Typecheck
convertsC
converts
isHole
errEnv
isType
convType
recheck
recheck_borrowing
check
check'
data UniqueUse
checkUnique