Trait ferrite_session::internal::functional::public::Nat

pub trait Nat: Nat { }

Implementors

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