Trait ferrite_session::prelude::Nat

pub trait Nat: SealedNat + Send + Copy + 'static {
    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>