Skip to main content
axiom_fmt_req_all_i8
vstd
In vstd::
std_
specs::
fmt
vstd
::
std_specs
::
fmt
Function
axiom_
fmt_
req_
all_
i8
Copy item path
Source
pub
broadcast proof
fn axiom_fmt_req_all_i8()
Expand description
ensures
#[trigger]
fmt_req_all::<i8>(),