DiscreteDomain
collect
decode
UInt ULong
describeAsLowerBound
FiniteBound InfiniteBound
describeAsUpperBound
FiniteBound InfiniteBound
distance
DiscreteDomain IntDomain LongDomain
downTo
Range