tomokinakamaru/silverchain

import itemization.Itemization;
import itemization.SubItemization;
import itemization.EmptySubItemization;
import itemization.End;

Itemization {
  EmptySubItemization<End> begin();
}

EmptySubItemization<INNER; ITEM> {
  SubItemization<INNER, ITEM> item(ITEM item);
}

SubItemization<INNER, ITEM> {
  SubItemization<INNER, ITEM> item(ITEM item);
  EmptySubItemization<SubItemization<INNER, ITEM>> begin();
  INNER end();
}

End {
  String toTeX();
}