pub trait ProperSubset<RHS = Self> { // Required method fn is_proper_subset(&self, rhs: &RHS) -> bool; }