Trait Nat
Other items inferrite_session::internal::functional::nat
pub trait Nat: Send + Copy + 'static { const Value: Self; fn nat() -> Self; }
const Value: Self
fn nat() -> Self
impl Nat for Z
impl<N> Nat for S<N> where N: Nat,