proofs.rs

Trait method

<core::option::Option<T> as option_ext::OptionExt<T>>::map_or2

impl<T> option_ext::OptionExt<T> for Option<T>
pub fn map_or2<U, F: FnOnce(T) -> U>(self: Self, f: F, default: U) -> U

Documentation on docs.rs

Claims (1)

Claim #2 — Verification of <core::option::Option<T> as option_ext::OptionExt<T>>::map_or2 (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
<core::option::Option<T> as option_ext::OptionExt<T>>::map_or2

option-ext 0.2.0 option branch behavior · v1 · 0 comments · MasWag