gnat 0.1.8

Type-level numbers without extra bounds
Documentation
1
2
3
4
5
6
7
use super::*;

/// Checks if `N` is zero.
pub type IsZero<N> = If<N, crate::lit!(0), crate::lit!(1)>;

/// Checks if `N` is nonzero.
pub type IsNonzero<N> = If<N, crate::lit!(1), crate::lit!(0)>;