Trait type_level_logic::strong::ternary::NatTriplePlusOne

pub trait NatTriplePlusOne: Nat {
    type Output: Nat;
}

A convenience operator for propagating undefined values.

Associated Types

type Output: Nat

Implementors

• impl NatTriplePlusOne for Undefined
• impl NatTriplePlusOne for Term
• impl<X: Nat> NatTriplePlusOne for Zero<X>
• impl<X: Nat> NatTriplePlusOne for One<X>
• impl<X: Nat> NatTriplePlusOne for Two<X>