proofs.rs

Trait method

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

impl<T> option_ext::OptionExt<T> for Option<T>
pub fn contains<U>(self: &Self, x: &U) -> bool where U: PartialEq<T>

Documentation on docs.rs

Claims (1)

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

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