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