Type Alias Positive

pub type Positive<Input> = Sigma<Input, PositiveInvariant<Input>>;

Positive terms (defined by comparison to zero).

Aliased Type

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

Trait Implementations

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

const ONE: Self

Additive identity (i.e., one).