Module control_flow 

Structs

ExControlFlow

ExInfallible

Functions

_verus_external_fn_specification_649_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_branch^⚠

_verus_external_fn_specification_650_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_branch^⚠

_verus_external_fn_specification_651_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_from__residual^⚠

_verus_external_fn_specification_652_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