sclass OneMap<A, B> extends CompactAbstractMap<A, B> {
  A key;
  B value;
  
  *() {}
  *(A *key, B *value) {}
  *(Map<A, B> map) {
    Iterator<Map.Entry<A, B>> it = map.entrySet().iterator();
    Map.Entry<A, B> e = it.next();
    key = e.getKey();
    value = e.getValue();
    assertFalse(it.hasNext());
  }
  
  public int size() { ret 1; }
  public Set<Map.Entry<A, B>> entrySet() {
    ret litset(simpleMapEntry(key, value));
  }
  
  public bool containsKey(O o) {
    ret isKey(o);
  }
  
  bool isKey(O o) { ret eq(o, key); }
  
  @Override
  public B get(O o) {
    ret isKey(o) ?  value : null;
  }
}