Function vstd::prelude::spec_literal_integer

pub const fn spec_literal_integer<hint_please_add_suffix_on_literal_like_100u32_or_100int_or_100nat>(
    _s: &str
) -> hint_please_add_suffix_on_literal_like_100u32_or_100int_or_100nat
where
    hint_please_add_suffix_on_literal_like_100u32_or_100int_or_100nat: Integer,