shadedshapeless.ops.nat
Type class witnessing that Out is range A to B, inclusive of A and exclusive of B.
Out
A
B
Type class witnessing that
Out
is rangeA
toB
, inclusive ofA
and exclusive ofB
.