Trait NatPair

pub trait NatPair: Default {
    // Required method
    fn reify() -> (usize, usize);
}

The NatPair trait and Nat2 struct represent 2-tuples of Nats. They are used internally for type-level logic.

Required Methods

fn reify() -> (usize, usize)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<X: Nat, Y: Nat> NatPair for Nat2<X, Y>