generateRule | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
getActives | Otter.Internal.Search |
getRules | Otter.Internal.Search |
GlIndex | Otter.Internal.Structures |
GlobalIndex | Otter.Internal.Structures |
GNS | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |
Goal | Otter.Internal.Structures |
GoalNSequent | Zsyntax.Labelled.Rule.Frontier, Zsyntax.Labelled.Rule |