1 2 3 4 5 6 7
module Core_models.Str.Error #set-options "--fuel 0 --ifuel 1 --z3rlimit 15" open FStar.Mul open Rust_primitives /// See [`std::str::Utf8Error`] type t_Utf8Error = | Utf8Error : t_Utf8Error