Function vstd::prelude::spec_literal_nat

pub const fn spec_literal_nat(_s: &str) -> nat