Skip to main content

Module control_flow

vstd::std_specs

Module control_flow 

Source

Structs§

ExControlFlow
ExInfallible

Functions§

_verus_external_fn_specification_237_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_branch⚠
_verus_external_fn_specification_238_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_branch⚠
_verus_external_fn_specification_239_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_from__residual⚠
_verus_external_fn_specification_240_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