Trait r3_core::utils::for_times::Nat

pub trait Nat {
    type Succ: Nat;

    const N: usize;
}

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

Required Associated Types

type Succ: Nat

Required Associated Constants

const N: usize

Implementors

impl Nat for U0

type Succ = UInt<U0, B1>

const N: usize = 0usize

impl<U: Nat> Nat for UInt<U, B0>

type Succ = UInt<U, B1>

const N: usize = _

impl<U: Nat> Nat for UInt<U, B1>

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

const N: usize = _

impl<U: Nat, B> Nat for UInt<U, B>

type Succ = U0

const N: usize = 0usize