more haddock comments

LeventErkok · Dec 3, 2024 · 94b7c42 · 94b7c42
1 parent 2ca9235
commit 94b7c42
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Documentation/SBV/Examples/KnuckleDragger/Lists.hs b/Documentation/SBV/Examples/KnuckleDragger/Lists.hs
@@ -71,9 +71,11 @@ filterEx2 = runKD $ do
 
         pure ()
 
+-- | Data declaration for an uninterpreted source type.
 data A
 mkUninterpretedSort ''A
 
+-- | Data declaration for an uninterpreted target type.
 data B
 mkUninterpretedSort ''B