Trait ferrite_session::internal::functional::Nat

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

    fn nat() -> Self;
}

Associated Constants

const Value: Self

Required methods

fn nat() -> Self

Implementors

impl Nat for Z

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