generators.ET0LTreeGrammar("DT0L tree grammar"):
( { a, b },
  { h:2, v:2, c:1, a:0, b:0 },
  {
    { a -> h[a,c[b]], b -> c[b] },
    { a -> v[a,a], b -> b }
  },
  c[a]
)
