Trait ferrite_session::internal::functional::nat::SealedNat

pub trait SealedNat { }

Implementors

impl SealedNat for Z

impl<N> SealedNat for S<N> where
    N: Nat,