☰
SealedNat
SealedNat
Implementors
In ferrite_session::internal::functional::nat
Structs
S
Z
Traits
Nat
SealedNat
Functions
succ
?
Trait
ferrite_session
::
internal
::
functional
::
nat
::
SealedNat
source
·
[
−
]
pub trait SealedNat { }
Implementors
source
impl
SealedNat
for
Z
source
impl<N>
SealedNat
for
S
<N>
where
N:
Nat
,