Trait r3_core::utils::for_times::NatFn

source · 
pub trait NatFn {
    type Output: Nat;
}
Expand description

Type-level function producing a Nat.

Required Associated Types§

source

type Output: Nat

Implementors§

source§

impl<T: Nat> NatFn for IncrSatOp<T, T>

§

type Output = T

source§

impl<T: Nat, Limit> NatFn for IncrSatOp<T, Limit>

§

type Output = <T as Nat>::Succ