📝 FreeVariables.

2024-12-22 22:31:36 +03:00 · 2017-12-20 17:12:08 -05:00 · 2017-12-20 17:12:08 -05:00 · 9c094d76ae
commit 9c094d76ae
parent ead999a09f
1 changed files with 1 additions and 0 deletions
--- a/src/Data/Abstract/FreeVariables.hs
+++ b/src/Data/Abstract/FreeVariables.hs
@ -12,6 +12,7 @@ import Data.Union
 type Name = ByteString


+-- | Types which can contain unbound variables.
 class FreeVariables term where
  freeVariables :: term -> Set Name