public RoopsSet() { map = new RoopsMap(); }
public RoopsMap(/*@ nullable @*/ RoopsMap <K, V> rhs) { this.root = rhs.root; }
public RoopsSet(/*@ nullable @*/ RoopsSet <K> rhs) { map = new RoopsMap <K, Object>(rhs.map); }