Documentation

type Depth = Maybe Int Source #

type Rule = (GWord, GWord) Source #

solve :: MonadFail m => String -> SemigroupPresentation -> Depth -> String -> m [Rule] Source #

module SemigroupPresentation