lr_xml :: (Ord t, Ord nt, Show t, Show nt) => Cfg t nt -> [t] -> (Bool, Element) | | lr_aterm :: (Ord t, Ord nt, Show t, Show nt) => Cfg t nt -> [t] -> (Bool, ATerm) | | xml :: (Eq nt, Eq t, Show nt, Show t) => Bool -> ([(String, [Symb t nt])], Cfg t nt) -> (Bool, Element) |
|