Struct matr::set::SetDifference

pub struct SetDifference<K: EqualityComparableKind, S1: Expr<Set<K>>, S2: Expr<Set<K>>> { /* private fields */ }

Trait Implementations

impl<K: EqualityComparableKind, S1: Expr<Set<K>>, S2: Expr<Set<K>>> Expr<Set<K>> for SetDifference<K, S1, S2>

type Eval = <VisitSet<K, Set<K>, S1, SetDifferenceVisitor<K, S2, EmptySet<K>>> as Expr<Set<K>>>::Eval