Function ferrite_session::internal::functional::nat::succ

source · [−]
pub fn succ<N>(_: N) -> S<N>