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

pub trait NatFn {
    type Output: Nat;
}

Type-level function producing a Nat.

Associated Types

`type Output: Nat`[src]

Loading content...

Implementors

`impl<T: Nat> NatFn for IncrSatOp<T, T>`[src]

`type Output = T`

`impl<T: Nat, Limit> NatFn for IncrSatOp<T, Limit>`[src]

`type Output = T::Succ`

Loading content...