Enum peano::Zero

pub enum Zero {}

Trait Implementations

impl Copy for Zero

impl Clone for Zero

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Natural for Zero

fn to_usize() -> usize

impl<N: Natural> Add<N> for Zero

type Output = N

The resulting type after applying the + operator

fn add(self: Zero, n: N) -> N

The method for the + operator