Agda.TypeChecking.SizedTypes
checkSizeLtSat
checkSizeNeverZero
checkSizeVarNeverZero
isBounded
boundedSizeMetaHook
trySizeUniv
reduce
deepSizeView
sizeMaxView
compareSizes
compareMaxViews
compareBelowMax
compareSizeViews
trivial
isSizeProblem
isSizeConstraint
getSizeConstraints
getSizeMetas
data SizeExpr
data SizeConstraint
computeSizeConstraints
computeSizeConstraint
sizeExpr
flexibleVariables
canonicalizeSizeConstraint
solveSizeConstraints
oldSolver