!7

sclass FastNode {
  FastWeb web;
  Symbol[] labels;
  FastNode[] related;
}

sclass FastRelation extends FastNode {
  FastNode a, b;
}

sclass FastWeb {
  new L<FastNode> nodes; // Relations are not in here
  HashMap<Pair<FastNode>, FastRelation> relations = new HashMap;
  new MultiMap<Symbol, WebNode> index; // label -> node
  transient Lock lock = reentrantLock(true);
}

p {
}