Trait Nat 

pub trait Nat:
    SealedNat
    + Send
    + Copy
    + 'static {
    const Value: Self;

    // Required method
    fn nat() -> Self;
}

Required Associated Constants

const Value: Self

Required Methods

fn nat() -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Nat for Z

const Value: Z = Z

impl<N> Nat for S<N>

where N: Nat,

const Value: S<N>