public Set<String> vars(){
  return Collections.unmodifiableSet(vals.keySet());
}

public Set < String > vars ( ) { return Collections . unmodifiableSet ( vals . keySet ( ) ) ; }
a unmodifiable set of variables bound in this binding set .
