Agda.TypeChecking.SizedTypes

compareSizes

trivial

getSizeConstraints

getSizeMetas

data SizeExpr

data SizeConstraint

computeSizeConstraint

sizeExpr

flexibleVariables

haveSizedTypes

solveSizeConstraints