Agda.TypeChecking.SizedTypes
checkSizeLtSat
checkSizeNeverZero
checkSizeVarNeverZero
isBounded
boundedSizeMetaHook
trySizeUniv
reduce
deepSizeView
sizeMaxView
compareSizes
compareMaxViews
compareBelowMax
compareSizeViews
trivial
isSizeProblem
isSizeConstraint
getSizeConstraints
getSizeMetas
data OldSizeExpr
data OldSizeConstraint
oldComputeSizeConstraints
oldComputeSizeConstraint
oldSizeExpr
flexibleVariables
oldCanonicalizeSizeConstraint
oldSolveSizeConstraints
oldSolver