public void Write(TextWriter tw) { var formatter = new TextFormatter(tw); foreach (KeyValuePair <TypeVariable, List <Trait> > de in items) { tw.Write(de.Key); store.WriteExpressionOf(de.Key, formatter); tw.WriteLine(); foreach (Trait tr in de.Value) { tw.WriteLine("\t{0}", tr); } } }