Module control_flow 

Structs

ExControlFlow

ExInfallible

Functions

_verus_external_fn_specification_61_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_branch^⚠

_verus_external_fn_specification_62_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_branch^⚠

_verus_external_fn_specification_63_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_from__residual^⚠

_verus_external_fn_specification_64_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