Agda.TypeChecking.SizedTypes
compareSizes
trivial
getSizeConstraints
getSizeMetas
data
SizeExpr
data
SizeConstraint
computeSizeConstraint
sizeExpr
flexibleVariables
haveSizedTypes
solveSizeConstraints