1 module Grammar 
    2 
    3 ( Grammar 
    4 
    5 )
    6 
    7 where
    8 
    9 import TA
   10 
   11 type Grammar a = (a, [(a, Either a (STerm a))]) -- perhaps some eps moves
   12 
   13 
   14