Commits

David Lazar  committed 897be97

Improve wording in documentation.

  • Participants
  • Parent commits abdd246

Comments (0)

Files changed (1)

File src/Foreign/Maude.hs

     , statistics :: Text  -- ^ Statistics printed by Maude.
     } deriving (Show)
 
--- | The result of a Maude search.
+-- | A single Maude search result.
 data SearchResult = SearchResult
     { searchResultState :: Integer
     , searchStatistics :: Text