Data.Trie.Pred.Step
Single Predicated Step
data
PredStep
c s a
singletonPred
Adjacent Predicated Steps
data
PredSteps
c s a
unionPred