Expand description
Tropical scalar wrapper types.
Each newtype redefines Add and Mul so that the Scalar
blanket impl is satisfied with tropical semantics:
| Type | + (⊕) | * (⊗) | Zero | One |
|---|---|---|---|---|
MaxPlus<T> | max | + | −∞ | 0 |
MinPlus<T> | min | + | +∞ | 0 |
MaxMul<T> | max | × | 0 | 1 |
All arithmetic bodies use todo!() (POC skeleton).