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