Function ia5string_fmt 

pub open spec fn ia5string_fmt() -> Mapped<Refined<Tail, PredFnSpec<Seq<u8>>>, FnSpecMapper<Seq<u8>, Ia5StringSpec>>

{
    Mapped {
        inner: Refined(
            Tail,
            |bytes: Seq<u8>| {
                is_valid_ia5_string_spec(bytes) && vstd::utf8::valid_utf8(bytes)
            },
        ),
        mapper: (
            |bytes: Seq<u8>| Ia5StringSpec {
                inner: vstd::utf8::decode_utf8(bytes),
            },
            |s: Ia5StringSpec| vstd::utf8::encode_utf8(s.inner),
        ),
    }
}