pub type Positive = Greater<0>;
Checks whether the given value is positive.
pub struct Positive { /* private fields */ }