Extension.Data.Bounded
data
BoundedMax
a
data
BoundedMin
a