//! Marker traits for number relations expressed through types.
/// Is one more than
pubtraitIsGreaterByOne<const N: usize> {}/// Is one less than
pubtraitIsSmallerByOne<const N: usize> {}/// Is greater than zero
pubtraitIsGreaterZero{}/// Is smaller than a given number a
pubtraitIsSmallerThan<const N: usize> {}/// D is the result of a difference
pubtraitSubtractEqual<const D: usize> {/// The Output value of the subtraction
constOUTPUT:usize;}