Agda.TypeChecking.Monad.SizedTypes

isSizeType

sizeType

sizeSuc

data SizeView

sizeView

unSizeView