From 33ea36989265f9f741d5809bbfdd1f759716cc97 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 09:42:58 -0500
Subject: [PATCH] :memo: Integer.

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

diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs
index 31e9fd7b3..04747d5fa 100644
--- a/src/Data/Abstract/Value.hs
+++ b/src/Data/Abstract/Value.hs
@@ -53,6 +53,7 @@ instance Eq1 Boolean where liftEq = genericLiftEq
 instance Ord1 Boolean where liftCompare = genericLiftCompare
 instance Show1 Boolean where liftShowsPrec = genericLiftShowsPrec
 
+-- | Arbitrary-width integral values.
 newtype Integer term = Integer Prelude.Integer
   deriving (Eq, Generic1, Ord, Show)