1 2 3 4 5 6 7
module Core_models.Str #set-options "--fuel 0 --ifuel 1 --z3rlimit 15" open FStar.Mul open Rust_primitives /// See [`std::primitive::str::len`] val impl_str__len (s: string) : Prims.Pure usize Prims.l_True (fun _ -> Prims.l_True)