pub broadcast proof fn axiom_fmt_req_all_string()Expand description
ensures
#[trigger] fmt_req_all::<alloc::string::String>(),pub broadcast proof fn axiom_fmt_req_all_string()#[trigger] fmt_req_all::<alloc::string::String>(),