org.feijoas.mango.common.collect.Bound
A FiniteBound[T] is a bound with a value of type T and a BoundType.
FiniteBound[T]
T
A
FiniteBound[T]
is a bound with a value of typeT
and a BoundType.