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