Module vstd::std_specs::option

Traits

• OptionAdditionalFns

Functions

• _verus_external_fn_specification_214_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_is__some^⚠
• _verus_external_fn_specification_215_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_is__none^⚠
• _verus_external_fn_specification_216_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_as__ref^⚠
• _verus_external_fn_specification_217_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_unwrap^⚠
• _verus_external_fn_specification_218_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_unwrap__or^⚠
• _verus_external_fn_specification_219_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_take^⚠
• _verus_external_fn_specification_220_Option_32__58__58__32__60__32_T_32__62__32__58__58__32_map^⚠
• _verus_external_fn_specification_221__60__32_Option_32__60__32_T_32__62__32_as_32_Clone_32__62__32__58__58__32_clone^⚠
• _verus_external_fn_specification_222_Option_32__58__58__32_ok__or^⚠
• is_none
• is_some
• spec_ok_or
• spec_unwrap
• spec_unwrap_or