es4


    data  TerTree ::=  emptytree | Mktree  TerTree TerTree TerTree