Agda.TypeChecking.SizedTypes.Solve
solveSizeConstraints
solveSizeConstraints_
solveCluster
getSizeHypotheses
canonicalizeSizeConstraint
data NamedRigid
data SizeMeta
type DBSizeExpr
type SizeConstraint
data HypSizeConstraint
computeSizeConstraint
sizeExpr
unSizeExpr