proofs.rs

Trait method

<T as either::IntoEither>::into_either_with

impl<T> either::IntoEither for T
pub fn into_either_with<F>(self: Self, into_left: F) -> Either<Self, Self> where F: FnOnce(&Self) -> bool

Documentation on docs.rs

Claims (1)

Claim #28 — Verification of <T as either::IntoEither>::into_either_with (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
<T as either::IntoEither>::into_either_with

Either branch operations, payload conversions and conditional composition · v8 · 0 comments · nyuichi