vstd
In vstd::
std_
specs::
control_
flow
Structs
ExControlFlow
ExInfallible
Functions
_verus_external_fn_specification_38_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_branch
_verus_external_fn_specification_39_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_branch
_verus_external_fn_specification_40_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_from__residual
_verus_external_fn_specification_41_Result_32__58__58__32__60__32_T_44__32_F_32__62__32__58__58__32_from__residual
group_control_flow_axioms
spec_from
spec_from_blanket_identity
vstd
::
std_specs
::
control_flow
Function
group_control_flow_axioms
Copy item path
Settings
Help
Summary
Source
pub
broadcast group
fn group_control_flow_axioms()
Expand description
broadcast group