Agda.TypeChecking.Monad.SizedTypes

isSizeType

isSizeNameTest

isSizeTypeTest

sizeType

sizeSuc

data SizeView

sizeView

unSizeView