vstd
In vstd::
prelude
vstd
::
prelude
Function
spec_literal_nat
Copy item path
pub const fn spec_literal_nat(_s: &
str
) ->
nat