Type class witnessing that the Nat
A
is the exclusive bound of
a range, i.e.
Type class witnessing that the Nat
A
is the exclusive bound of
a range, i.e. the beginning or end of a range that does not include A
.
Type class witnessing that the Nat
A
is the inclusive bound of
a range, i.e.
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
.