Trait method
<core::option::Option<T> as option_ext::OptionExt<T>>::map_or_else2
impl<T> option_ext::OptionExt<T> for Option<T>
pub fn map_or_else2<U, F: FnOnce(T) -> U, D: FnOnce() -> U>(self: Self, f: F, default: D) -> U
Documentation on docs.rs
Claims (2)
Claim #1 — Verification of <core::option::Option<T> as option_ext::OptionExt<T>>::map_or_else2 (with creusot 0.13.0)<core::option::Option<T> as option_ext::OptionExt<T>>::map_or_else2
option-ext 0.2.0 map_or_else2 return behavior · v1 · 0 comments · MasWag
Claim #3 — Verification of <core::option::Option<T> as option_ext::OptionExt<T>>::map_or_else2 (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)<core::option::Option<T> as option_ext::OptionExt<T>>::map_or_else2
option-ext 0.2.0 option branch behavior · v1 · 0 comments · MasWag