WeakComposition
A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.
A carrier domain: the nominal type this object is stored and dispatched as.
OEIS
A000217via Weak3CompositionsSageMathsage.combinat.integer_vector.IntegerVectors(n, k)via WeakCompositionsIntoKPartsmathlib4Finset.Nat.antidiagonalTuplevia WeakCompositionsIntoKPartsWeakComposition: list<integer>