Trait ferrite_session::functional::nat::Nat

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

    fn nat() -> Self;
}

Associated Constants

const Value: Self

Loading content...

Required methods

fn nat() -> Self

Loading content...

Implementors

impl Nat for Z

const Value: Z

fn nat() -> Z

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

const Value: S<N>

fn nat() -> S<N>

Loading content...