Module vstd::std_specs::result

Traits

• ResultAdditionalSpecFns

Functions

• _verus_external_fn_specification_224_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_is__ok^⚠
• _verus_external_fn_specification_225_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_is__err^⚠
• _verus_external_fn_specification_226_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_as__ref^⚠
• _verus_external_fn_specification_227_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_unwrap^⚠
• _verus_external_fn_specification_228_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_unwrap__err^⚠
• _verus_external_fn_specification_229_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_map^⚠
• _verus_external_fn_specification_230_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_map__err^⚠
• _verus_external_fn_specification_231_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_ok^⚠
• _verus_external_fn_specification_232_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_err^⚠
• err
• is_err
• is_ok
• ok
• spec_unwrap
• spec_unwrap_err