☰
In cut
?
Function
cut
::
succ
source
·
[
−
]
pub fn succ<N>(N) ->
S
<N>
