Trait typerat::NotOne

source ·

pub trait NotOne: Sealed { }

Expand description

Marker trait for not-one numbers.

§Examples

use typerat::*;

fn is_notone<T: NotOne>() -> bool {
    true
}

assert!(is_notone::<Z0>());
assert!(is_notone::<N1>());
assert!(is_notone::<Q<Z0>>());
assert!(is_notone::<Q<N1>>());
assert!(is_notone::<Q<P2, P3>>());
assert!(is_notone::<Q<N2, P3>>());