Idris.Core.Typecheck

convertsC

converts

isHole

errEnv

isType

convType

recheck

recheck_borrowing

check

check'

data UniqueUse

checkUnique