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

    fn nat() -> Self;
}

Associated Constants

Required methods

Implementors