Trait cut::Nat

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

    fn nat() -> Self;
}

Associated Constants

const Value: Self

Required methods

fn nat() -> Self

Implementors

impl Nat for Z

const Value: Z

impl<N> Nat for S<N> where
    N: Nat, 

const Value: S<N>