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

pub trait Nat: Nat { }

Implementors

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