Trait Nat
Other items inferrite_session::internal::public::prelude
pub trait Nat: Nat { }
impl<N> Nat for N where N: Nat,