termlib-0.9: Term Rewriting Library

Safe HaskellSafe-Infered

Termlib.ContextSensitive

Documentation

type ReplacementMap = Map Symbol IntSet

empty :: ReplacementMap

replacingPositions :: Symbol -> ReplacementMap -> [Int]

setReplacing :: Symbol -> [Int] -> ReplacementMap -> ReplacementMap