From a27afc847b05e7bfcc35d27ff5e86611e7e01e1b Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 20 Dec 2017 17:22:50 -0500
Subject: [PATCH] :memo: Type.

---
 src/Data/Abstract/Type.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Data/Abstract/Type.hs b/src/Data/Abstract/Type.hs
index 9585097c9..5b93258cd 100644
--- a/src/Data/Abstract/Type.hs
+++ b/src/Data/Abstract/Type.hs
@@ -7,6 +7,7 @@ import Prelude hiding (fail)
 -- | The type of type variable names.
 type TName = Int
 
+-- | A datatype representing primitive types and combinations thereof.
 data Type
   = Int
   | Bool