Module vstd::std_specs::control_flow

Structs

• ExControlFlow
• ExInfallible

Functions

• _verus_external_fn_specification_34_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_branch^⚠
• _verus_external_fn_specification_35_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_branch^⚠
• _verus_external_fn_specification_36_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_from__residual^⚠
• _verus_external_fn_specification_37_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