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