See also: the ``library'' for the ``back end'' (@SaBackLib@).
\begin{code}
+#ifndef DEBUG
+-- If DEBUG is off, omit all exports
+module SaAbsInt () where
+
+#else
module SaLib (
AbsVal(..),
AnalysisKind(..),
lookupAbsValEnv,
absValFromStrictness
) where
+#endif /* DEBUG */
#include "HsVersions.h"