Documentation

type Order a = a -> a -> Ordering Source #

knuthBendix :: Set (Pair GWord) -> GeneratorsDescr -> StringRewriting Source #

knuthBendixBy :: GenOrder -> Set (Pair GWord) -> GeneratorsDescr -> StringRewriting Source #

module StringRewriting