Module option

Source

Traits§

OptionAdditionalFns

Functions§

_verus_external_fn_specification_464_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_is__some
_verus_external_fn_specification_465_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_is__none
_verus_external_fn_specification_466_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_as__ref
_verus_external_fn_specification_467_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_unwrap
_verus_external_fn_specification_468_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_unwrap__or
_verus_external_fn_specification_469_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_expect
_verus_external_fn_specification_470_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_take
_verus_external_fn_specification_471_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_map
_verus_external_fn_specification_472__60__32_Option_32__60__32_T_32__62__32_as_32_Clone_32__62__32__58__58__32_clone
_verus_external_fn_specification_473__60__32_Option_32__60__32_T_32__62__32_as_32_PartialEq_32__62__32__58__58__32_eq
_verus_external_fn_specification_474__60__32_Option_32__60__32_T_32__62__32_as_32_PartialOrd_32__62__32__58__58__32_partial__cmp
_verus_external_fn_specification_475__60__32_Option_32__60__32_T_32__62__32_as_32_Ord_32__62__32__58__58__32_cmp
_verus_external_fn_specification_476_Option_32__58__58__32_ok__or
is_none
is_some
spec_expect
spec_ok_or
spec_unwrap
spec_unwrap_or