Type Alias NonNegative

pub type NonNegative<Input> = Sigma<Input, NonNegativeInvariant<Input>>;

Non-negative terms (defined by comparison to zero).

Aliased Type

struct NonNegative<Input> { /* private fields */ }

Trait Implementations

impl<T: One + PartialOrd + Zero + Debug> One for NonNegative<T>

const ONE: Self

Additive identity (i.e., one).

impl<Z: PartialOrd + Zero + Debug> Zero for NonNegative<Z>

const ZERO: Self

Additive identity (i.e., zero).