Unsigned

Trait Unsigned 

Source
pub trait Unsigned: Sealed + 'static { }
Expand description

A type-level representation of unsigned natural numbers.

This trait is implemented for types that represent natural numbers at the type level, enabling compile-time arithmetic and recursion depth tracking.

Use Zero and Succ to construct type-level numbers.

Implementors§