shapeless.ops.nat.BoundedRange
Type class witnessing that the Nat A is the inclusive bound of a range, i.e. the beginning or end of a range that includes A.
Nat
A
Type class witnessing that the
Nat
A
is the inclusive bound of a range, i.e. the beginning or end of a range that includesA
.