Skip to main content

Module result

Module result 

Source

Traits§

ResultAdditionalSpecFns

Functions§

_verus_external_fn_specification_783_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_is__ok
_verus_external_fn_specification_784_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_is__err
_verus_external_fn_specification_785_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_as__ref
_verus_external_fn_specification_786_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_unwrap
_verus_external_fn_specification_787_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_unwrap__err
_verus_external_fn_specification_788_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_expect
_verus_external_fn_specification_789_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_map
_verus_external_fn_specification_790_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_map__err
_verus_external_fn_specification_791_Result_32__58__58__32__60__32_T_44__32_E_32__62__32__58__58__32_ok
_verus_external_fn_specification_792_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_expect
spec_unwrap
spec_unwrap_err