[−][src]Trait r3::utils::for_times::Nat

pub trait Nat {
    type Succ: Nat;

    pub const N: usize;
}

Natural number. Use U to get a type implementing this.

Associated Types

type Succ: Nat[src]

Loading content...

Associated Constants

pub const N: usize[src]

Loading content...

Implementors

impl Nat for U0[src]

type Succ = UInt<U0, B1>

impl<U: Nat> Nat for UInt<U, B0>[src]

type Succ = UInt<U, B1>

impl<U: Nat> Nat for UInt<U, B1>[src]

type Succ = UInt<<U as Nat>::Succ, B0>

impl<U: Nat, B> Nat for UInt<U, B>[src]

type Succ = U0

Loading content...