Trait DisjointFrom Copy item path

pub trait DisjointFrom<Other>
where
    Self: SpecCombinator,
    Other: SpecCombinator,
{
    // Required methods
    spec fn disjoint_from(&self, other: &Other) -> bool;
    proof fn parse_disjoint_on(&self, other: &Other, buf: Seq<u8>);
}

Required Methods§

self.disjoint_from(other),

self.spec_parse(buf) is Some ==> other.spec_parse(buf) is None,

Implementations on Foreign Types§

{ (*self).disjoint_from(*other) }

{ self.0.disjoint_from(&other.0) }

Implementors§