public static class TD {
public @nonterminal static class Doc extends Dump {
- public @arg("head") Header head;
- public @arg("body") Body body;
+ public @arg Header head;
+ public @arg Body body;
}
public @nonterminal static class Header extends Dump {
- public @arg("attrs") KeyVal[] attrs;
+ public @arg KeyVal[] attrs;
// FIXME: it would be nice to be able to
// void KeyVal(String, String) { ... } imperatively
}