1 2 3
/// Marker trait for types that guarantee values are less than or equal to zero. /// Implementers must ensure all inhabited values are `<= 0`. pub trait NonPositive {}