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