UCtxt | Zsyntax.Labelled.Rule.Interface, Zsyntax.Labelled.Rule |
unCS | Zsyntax.ReactionList |
unEB | Zsyntax.Labelled.Formula |
Unrestr | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
unRL | Zsyntax.ReactionList |
unRule | Otter.Rule, Otter |
unSA | Zsyntax.Formula, Zsyntax |