==================== FINAL INTERFACE ====================
2019-09-22 14:52:34.615181 UTC

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories [family instance module] 8065
  interface hash: 15748e22b144467ec4a4f583f1e60f62
  ABI hash: 2d31db6b0cdc7b0f2231db238b021516
  export-list hash: a69c86f8cdfe4a6b4b2b705830bc822b
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: a8d312fd55b5f61264898b19cf4e15f8
  opt_hash: d0a78e7b344f95c7406be35c9b75e196
  hpc_hash: 93b885adfe0da089cdf634904fd59f71
  plugin_hash: ad164012d6b1e14942349d58b1132007
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Types.Theories.insertSymEnv
  Language.Fixpoint.Types.Theories.insertsSymEnv
  Language.Fixpoint.Types.Theories.isIntSmtSort
  Language.Fixpoint.Types.Theories.sortSmtSort
  Language.Fixpoint.Types.Theories.symEnv
  Language.Fixpoint.Types.Theories.symEnvSort
  Language.Fixpoint.Types.Theories.symEnvTheory
  Language.Fixpoint.Types.Theories.symbolAtName
  Language.Fixpoint.Types.Theories.symbolAtSmtName
  Language.Fixpoint.Types.Theories.Raw
  Language.Fixpoint.Types.Theories.Sem{Language.Fixpoint.Types.Theories.Ctor Language.Fixpoint.Types.Theories.Field Language.Fixpoint.Types.Theories.Test Language.Fixpoint.Types.Theories.Theory Language.Fixpoint.Types.Theories.Uninterp}
  Language.Fixpoint.Types.Theories.SmtSort{Language.Fixpoint.Types.Theories.SBitVec Language.Fixpoint.Types.Theories.SBool Language.Fixpoint.Types.Theories.SData Language.Fixpoint.Types.Theories.SInt Language.Fixpoint.Types.Theories.SMap Language.Fixpoint.Types.Theories.SReal Language.Fixpoint.Types.Theories.SSet Language.Fixpoint.Types.Theories.SString Language.Fixpoint.Types.Theories.SVar}
  Language.Fixpoint.Types.Theories.SymEnv{Language.Fixpoint.Types.Theories.SymEnv seAppls seData seLits seSort seTheory}
  Language.Fixpoint.Types.Theories.TheorySymbol{Language.Fixpoint.Types.Theories.Thy tsInterp tsRaw tsSort tsSym}
module dependencies: Language.Fixpoint.Misc
                     Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors
                     Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint
                     Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts
                     Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions
                     Text.PrettyPrint.HughesPJ.Compat
package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1
                      base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2
                      cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1
                      deepseq-1.4.4.0 directory-1.3.3.0 filepath-1.4.2.1 ghc-prim-0.5.3
                      hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 parsec-3.1.13.0
                      pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7
                      text-1.2.3.1 time-1.8.0.2 unix-2.7.2.2 unordered-containers-0.2.9.0
orphans: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans
         syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour
         time-1.8.0.2:Data.Time.Format.Parse
         time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime
         time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime
         time-1.8.0.2:Data.Time.Calendar.Gregorian
         stm-2.5.0.0:Control.Monad.STM
         hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy
         text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic
         bytestring-0.10.8.2:Data.ByteString.Builder
         text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float
         base-4.12.0.0:GHC.Base
family instance modules: base-4.12.0.0:Control.Applicative
                         base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose
                         base-4.12.0.0:Data.Functor.Const
                         base-4.12.0.0:Data.Functor.Identity
                         base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum
                         base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup
                         base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version
                         base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts
                         base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception
                         containers-0.6.0.1:Data.Graph
                         containers-0.6.0.1:Data.IntMap.Internal
                         containers-0.6.0.1:Data.IntSet.Internal
                         containers-0.6.0.1:Data.Map.Internal
                         containers-0.6.0.1:Data.Sequence.Internal
                         containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree
                         intern-0.9.2:Data.Interned.Internal.Text
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans
                         pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ
                         pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text
                         text-1.2.3.1:Data.Text.Lazy
                         unordered-containers-0.2.9.0:Data.HashMap.Base
                         unordered-containers-0.2.9.0:Data.HashSet
import  -/  base-4.12.0.0:Data.Data 2949b01dc3799f9122535900668dfcef
import  -/  base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979
import  -/  base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075
import  -/  base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997
import  -/  base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e
import  -/  base-4.12.0.0:Data.Typeable 1095be85dd9009a6503a3981a259490e
import  -/  base-4.12.0.0:Data.Typeable.Internal e1cb15df401654131814917774d4d7ed
import  -/  base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import  -/  base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290
import  -/  base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a
import  -/  base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616
import  -/  base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276
import  -/  base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  binary-0.8.6.0:Data.Binary 47a89cefaa44e49e7fd21d133fce6a7e
import  -/  binary-0.8.6.0:Data.Binary.Class 4a00b809573ad7c27e489f5b66886719
import  -/  deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3
import  -/  ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
import  -/  ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b
import  -/  hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28
import  -/  hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b
import  -/  Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5
  exports: c71e07620cb71e48240d161f1a37aa5e
  intersperse 3560fd9d33e532745e7669346fe553d7
  sortNub 7d73d874da71f31bd97dc544f8572fc4
import  -/  Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20
  exports: ab8867d60d15ba2af38632b8e3ed1bf3
  SEnv 7b76b1b3898bd64fc8c2187c261c0f80
  emptySEnv 9f2c7c962f68c35c8835c06a06f1db76
  fromListSEnv 22654f2135f1b607f7ee82962c09eb4c
  insertSEnv 4288c53866870f2766a71eff8924b8fb
  lookupSEnv 94599d47b6378649795b045198f42e89
  unionSEnv 9082cf3e67e0349ea8ea2b1196c1cc9c
import  -/  Language.Fixpoint.Types.Errors 31e8527559b26e3ce8fcf2acaba869c3
  exports: 89a9dc85e57ecc980170ae7cb32d2921
  panic 87059ab6cc1a67158dab0a23bc2c22e7
import  -/  Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a
  exports: 45d7959603a132b65636c5a341548000
  Symbol 3f986d27cdf6315dd770c516fc00a643
  Symbolic 2eef5be3f02dd72d878415fe4e78ea18
  bitVecName 00019ed7902409f02e42ac9147024c0f
  intSymbol a4ae136aedf5d0fada743997e9c6751f
  mapConName d689532bc106bd19f9aeb509fed810cd
  setConName 3b13e60e763424621a6d71f4ff2b3095
  symbol 8093c1d4f5a85b247a3a96c3fce3245c
  toIntName 324143c445406dc6dceb017ac99fb75a
import  -/  Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
  exports: 83877bba67b408c83589a0ff3bac0070
  Fixpoint 98d26628e0637967f879c1c12cfa20b7
  PPrint 1f29b3f207492ffa2323c20e2c1b7b4a
  Tidy 222d036ecc7fd8f220064937c0399cf9
  pprint 955dc9d031db587300edf6146ac33be4
  pprintTidy bf75bee99d55ab15929b450195e64f3c
  showpp a9f79fc9a75f72593341c16b4b8ac492
import  -/  Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6
  exports: b866d80011faf2d8f77449fdc11dc733
  DataDecl 90984d28a9f3c849d44b1ec37334f5cb
  FFunc a2098452dd53c51f7531db6145200e8d
  FInt feec19063de9031ab717875a0a60c7b0
  FReal 39b6469449782575f5c1edbea6d3e1cc
  FTC e5d6113e0ae80db3702c5a83dedd8a7f
  FTycon 30d6fd7d99459ff88296e3b55c87b46c
  FVar a3c34a432d4203ec59fb1483b26cb260
  Sort 30d6fd7d99459ff88296e3b55c87b46c
  boolSort 05be9e1ff80dff4f05fc2d8105076210
  ddVars 90984d28a9f3c849d44b1ec37334f5cb
  isString 3c267f62fc9e05bc4e545153ea826927
  mkFFunc 7fc888cdee141d3972072d0738f6e6fc
  sizeBv 23d61dced12a09cf4058ece06537f20a
  sortAbs c41d144241671a33236cba3988331ef8
  unAbs ef7ce18bc22737d17abae86be1111da1
  unFApp f4945d2eb7df5bb40d6a2a87a5c0fdb7
import  -/  Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7
  exports: b9ce07b355a8008b66354a61d479f549
  <-> a6bccb4500bca89f567c047995747774
import  -/  pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474
import  -/  syb-0.7:Data.Generics f4bddd07fe7227d2509acad55f9ff82d
import  -/  text-1.2.3.1:Data.Text.Internal.Lazy 60724f417edac0a71b3efdb9a450a954
import  -/  text-1.2.3.1:Data.Text.Lazy 5dfd4775189d1cf6b5f168bbf44e9081
import  -/  unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc
import  -/  unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b
810e2965561391114a602ece3df70281
  $fBinarySem ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fBinarySmtSort ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fBinarySymEnv ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fBinaryTheorySymbol ::
    Data.Binary.Class.Binary
      Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
810e2965561391114a602ece3df70281
  $fDataSem :: Data.Data.Data Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fDataSmtSort ::
    Data.Data.Data Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fDataSymEnv ::
    Data.Data.Data Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fDataTheorySymbol ::
    Data.Data.Data Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
810e2965561391114a602ece3df70281
  $fEqSem :: GHC.Classes.Eq Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fEqSmtSort ::
    GHC.Classes.Eq Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fEqSymEnv ::
    GHC.Classes.Eq Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fEqTheorySymbol ::
    GHC.Classes.Eq Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
810e2965561391114a602ece3df70281
  $fFixpointTheorySymbol ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
810e2965561391114a602ece3df70281
  $fGenericSem ::
    GHC.Generics.Generic Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fGenericSmtSort ::
    GHC.Generics.Generic Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fGenericSymEnv ::
    GHC.Generics.Generic Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fGenericTheorySymbol ::
    GHC.Generics.Generic Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fHashableSmtSort ::
    Data.Hashable.Class.Hashable
      Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fMonoidSymEnv ::
    GHC.Base.Monoid Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fNFDataSem ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fNFDataSmtSort ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fNFDataSymEnv ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fNFDataTheorySymbol ::
    Control.DeepSeq.NFData
      Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
810e2965561391114a602ece3df70281
  $fOrdSem :: GHC.Classes.Ord Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fOrdSmtSort ::
    GHC.Classes.Ord Language.Fixpoint.Types.Theories.SmtSort
  DFunId
810e2965561391114a602ece3df70281
  $fOrdTheorySymbol ::
    GHC.Classes.Ord Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
810e2965561391114a602ece3df70281
  $fPPrintSem ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fPPrintSmtSort ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Theories.SmtSort
  DFunId
810e2965561391114a602ece3df70281
  $fPPrintTheorySymbol ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fSemigroupSymEnv ::
    GHC.Base.Semigroup Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fShowSem :: GHC.Show.Show Language.Fixpoint.Types.Theories.Sem
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fShowSmtSort ::
    GHC.Show.Show Language.Fixpoint.Types.Theories.SmtSort
  DFunId
0506688674ca55c28cc4df4c4dbdb2df
  $fShowSymEnv ::
    GHC.Show.Show Language.Fixpoint.Types.Theories.SymEnv
  DFunId
810e2965561391114a602ece3df70281
  $fShowTheorySymbol ::
    GHC.Show.Show Language.Fixpoint.Types.Theories.TheorySymbol
  DFunId
e9e1ddb0534d6a0552362e634f01bde9
  $tc'Ctor :: GHC.Types.TyCon
e03ad529fb4c2a614827d64d7647a976
  $tc'Field :: GHC.Types.TyCon
6bfb3816c48f2d07ff39ba6ec39c25b4
  $tc'SBitVec :: GHC.Types.TyCon
34820e362a9554c411ec7cb5bd43f81f
  $tc'SBool :: GHC.Types.TyCon
b4de3fdd3988e532a2068d371a8b5956
  $tc'SData :: GHC.Types.TyCon
9ddcc33825ef8bb35ac5315baf08b499
  $tc'SInt :: GHC.Types.TyCon
1b761d3779d38cc42098ac099a435750
  $tc'SMap :: GHC.Types.TyCon
8200d48a10140f978984dc61e8e53daa
  $tc'SReal :: GHC.Types.TyCon
36a3b838b13dd0797fd0c66fe74287ed
  $tc'SSet :: GHC.Types.TyCon
6d235bcb4b4c537f65a899c9617fed17
  $tc'SString :: GHC.Types.TyCon
30fc68cad410ec0b6d75b3592ba42134
  $tc'SVar :: GHC.Types.TyCon
9ecf4c7509d73d29157f7a0079f19d05
  $tc'SymEnv :: GHC.Types.TyCon
a9abf8cd551861d2cde7dbf9f2f9cbd7
  $tc'Test :: GHC.Types.TyCon
6f5455c5f1defd8d48c2608d13900099
  $tc'Theory :: GHC.Types.TyCon
5915c2d0be3098f35436ecdeed5c87bf
  $tc'Thy :: GHC.Types.TyCon
fbea8a03a7e3b8585c10dd989fd14d12
  $tc'Uninterp :: GHC.Types.TyCon
5369726de153787aa7099b665c4a700c
  $tcSem :: GHC.Types.TyCon
5c10e0f01f4819b21fd4ebfacb5f5495
  $tcSmtSort :: GHC.Types.TyCon
6ae6fa8c6af1a906ccd4d6f50a1abe76
  $tcSymEnv :: GHC.Types.TyCon
368caf188911f32f30b4ebbe4f111fa2
  $tcTheorySymbol :: GHC.Types.TyCon
ef8986f28033b2e9e9820e08bfbb563f
  $trModule :: GHC.Types.Module
0506688674ca55c28cc4df4c4dbdb2df
  type FuncSort =
    (Language.Fixpoint.Types.Theories.SmtSort,
     Language.Fixpoint.Types.Theories.SmtSort)
a1cf5f50209455d2ca3b8e19aad75c5a
  type Raw = Data.Text.Internal.Lazy.Text
810e2965561391114a602ece3df70281
  axiom Language.Fixpoint.Types.Theories.Rep_Sem::
      GHC.Generics.Rep Language.Fixpoint.Types.Theories.Sem
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "Sem"
               "Language.Fixpoint.Types.Theories"
               "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep"
               'GHC.Types.False)
            ((GHC.Generics.C1
                ('GHC.Generics.MetaCons
                   "Uninterp" 'GHC.Generics.PrefixI 'GHC.Types.False)
                GHC.Generics.U1
              GHC.Generics.:+: GHC.Generics.C1
                                 ('GHC.Generics.MetaCons
                                    "Ctor" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                 GHC.Generics.U1)
             GHC.Generics.:+: (GHC.Generics.C1
                                 ('GHC.Generics.MetaCons
                                    "Test" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                 GHC.Generics.U1
                               GHC.Generics.:+: (GHC.Generics.C1
                                                   ('GHC.Generics.MetaCons
                                                      "Field"
                                                      'GHC.Generics.PrefixI
                                                      'GHC.Types.False)
                                                   GHC.Generics.U1
                                                 GHC.Generics.:+: GHC.Generics.C1
                                                                    ('GHC.Generics.MetaCons
                                                                       "Theory"
                                                                       'GHC.Generics.PrefixI
                                                                       'GHC.Types.False)
                                                                    GHC.Generics.U1)))
0506688674ca55c28cc4df4c4dbdb2df
  axiom Language.Fixpoint.Types.Theories.Rep_SmtSort::
      GHC.Generics.Rep Language.Fixpoint.Types.Theories.SmtSort
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "SmtSort"
               "Language.Fixpoint.Types.Theories"
               "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep"
               'GHC.Types.False)
            (((GHC.Generics.C1
                 ('GHC.Generics.MetaCons
                    "SInt" 'GHC.Generics.PrefixI 'GHC.Types.False)
                 GHC.Generics.U1
               GHC.Generics.:+: GHC.Generics.C1
                                  ('GHC.Generics.MetaCons
                                     "SBool" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                  GHC.Generics.U1)
              GHC.Generics.:+: (GHC.Generics.C1
                                  ('GHC.Generics.MetaCons
                                     "SReal" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                  GHC.Generics.U1
                                GHC.Generics.:+: GHC.Generics.C1
                                                   ('GHC.Generics.MetaCons
                                                      "SString"
                                                      'GHC.Generics.PrefixI
                                                      'GHC.Types.False)
                                                   GHC.Generics.U1))
             GHC.Generics.:+: ((GHC.Generics.C1
                                  ('GHC.Generics.MetaCons
                                     "SSet" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                  GHC.Generics.U1
                                GHC.Generics.:+: GHC.Generics.C1
                                                   ('GHC.Generics.MetaCons
                                                      "SMap" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                                   GHC.Generics.U1)
                               GHC.Generics.:+: (GHC.Generics.C1
                                                   ('GHC.Generics.MetaCons
                                                      "SBitVec"
                                                      'GHC.Generics.PrefixI
                                                      'GHC.Types.False)
                                                   (GHC.Generics.S1
                                                      ('GHC.Generics.MetaSel
                                                         'GHC.Maybe.Nothing
                                                         'GHC.Generics.NoSourceUnpackedness
                                                         'GHC.Generics.SourceStrict
                                                         'GHC.Generics.DecidedStrict)
                                                      (GHC.Generics.Rec0 GHC.Types.Int))
                                                 GHC.Generics.:+: (GHC.Generics.C1
                                                                     ('GHC.Generics.MetaCons
                                                                        "SVar"
                                                                        'GHC.Generics.PrefixI
                                                                        'GHC.Types.False)
                                                                     (GHC.Generics.S1
                                                                        ('GHC.Generics.MetaSel
                                                                           'GHC.Maybe.Nothing
                                                                           'GHC.Generics.NoSourceUnpackedness
                                                                           'GHC.Generics.SourceStrict
                                                                           'GHC.Generics.DecidedStrict)
                                                                        (GHC.Generics.Rec0
                                                                           GHC.Types.Int))
                                                                   GHC.Generics.:+: GHC.Generics.C1
                                                                                      ('GHC.Generics.MetaCons
                                                                                         "SData"
                                                                                         'GHC.Generics.PrefixI
                                                                                         'GHC.Types.False)
                                                                                      (GHC.Generics.S1
                                                                                         ('GHC.Generics.MetaSel
                                                                                            'GHC.Maybe.Nothing
                                                                                            'GHC.Generics.NoSourceUnpackedness
                                                                                            'GHC.Generics.SourceStrict
                                                                                            'GHC.Generics.DecidedStrict)
                                                                                         (GHC.Generics.Rec0
                                                                                            Language.Fixpoint.Types.Sorts.FTycon)
                                                                                       GHC.Generics.:*: GHC.Generics.S1
                                                                                                          ('GHC.Generics.MetaSel
                                                                                                             'GHC.Maybe.Nothing
                                                                                                             'GHC.Generics.NoSourceUnpackedness
                                                                                                             'GHC.Generics.SourceStrict
                                                                                                             'GHC.Generics.DecidedStrict)
                                                                                                          (GHC.Generics.Rec0
                                                                                                             [Language.Fixpoint.Types.Theories.SmtSort]))))))
0506688674ca55c28cc4df4c4dbdb2df
  axiom Language.Fixpoint.Types.Theories.Rep_SymEnv::
      GHC.Generics.Rep Language.Fixpoint.Types.Theories.SymEnv
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "SymEnv"
               "Language.Fixpoint.Types.Theories"
               "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep"
               'GHC.Types.False)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "SymEnv" 'GHC.Generics.PrefixI 'GHC.Types.True)
               ((GHC.Generics.S1
                   ('GHC.Generics.MetaSel
                      ('GHC.Maybe.Just "seSort")
                      'GHC.Generics.NoSourceUnpackedness
                      'GHC.Generics.SourceStrict
                      'GHC.Generics.DecidedStrict)
                   (GHC.Generics.Rec0
                      (Language.Fixpoint.Types.Environments.SEnv
                         Language.Fixpoint.Types.Sorts.Sort))
                 GHC.Generics.:*: GHC.Generics.S1
                                    ('GHC.Generics.MetaSel
                                       ('GHC.Maybe.Just "seTheory")
                                       'GHC.Generics.NoSourceUnpackedness
                                       'GHC.Generics.SourceStrict
                                       'GHC.Generics.DecidedStrict)
                                    (GHC.Generics.Rec0
                                       (Language.Fixpoint.Types.Environments.SEnv
                                          Language.Fixpoint.Types.Theories.TheorySymbol)))
                GHC.Generics.:*: (GHC.Generics.S1
                                    ('GHC.Generics.MetaSel
                                       ('GHC.Maybe.Just "seData")
                                       'GHC.Generics.NoSourceUnpackedness
                                       'GHC.Generics.SourceStrict
                                       'GHC.Generics.DecidedStrict)
                                    (GHC.Generics.Rec0
                                       (Language.Fixpoint.Types.Environments.SEnv
                                          Language.Fixpoint.Types.Sorts.DataDecl))
                                  GHC.Generics.:*: (GHC.Generics.S1
                                                      ('GHC.Generics.MetaSel
                                                         ('GHC.Maybe.Just "seLits")
                                                         'GHC.Generics.NoSourceUnpackedness
                                                         'GHC.Generics.SourceStrict
                                                         'GHC.Generics.DecidedStrict)
                                                      (GHC.Generics.Rec0
                                                         (Language.Fixpoint.Types.Environments.SEnv
                                                            Language.Fixpoint.Types.Sorts.Sort))
                                                    GHC.Generics.:*: GHC.Generics.S1
                                                                       ('GHC.Generics.MetaSel
                                                                          ('GHC.Maybe.Just
                                                                             "seAppls")
                                                                          'GHC.Generics.NoSourceUnpackedness
                                                                          'GHC.Generics.SourceStrict
                                                                          'GHC.Generics.DecidedStrict)
                                                                       (GHC.Generics.Rec0
                                                                          (Data.HashMap.Base.HashMap
                                                                             Language.Fixpoint.Types.Theories.FuncSort
                                                                             GHC.Types.Int))))))
810e2965561391114a602ece3df70281
  axiom Language.Fixpoint.Types.Theories.Rep_TheorySymbol::
      GHC.Generics.Rep Language.Fixpoint.Types.Theories.TheorySymbol
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "TheorySymbol"
               "Language.Fixpoint.Types.Theories"
               "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep"
               'GHC.Types.False)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "Thy" 'GHC.Generics.PrefixI 'GHC.Types.True)
               ((GHC.Generics.S1
                   ('GHC.Generics.MetaSel
                      ('GHC.Maybe.Just "tsSym")
                      'GHC.Generics.NoSourceUnpackedness
                      'GHC.Generics.SourceStrict
                      'GHC.Generics.DecidedStrict)
                   (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol)
                 GHC.Generics.:*: GHC.Generics.S1
                                    ('GHC.Generics.MetaSel
                                       ('GHC.Maybe.Just "tsRaw")
                                       'GHC.Generics.NoSourceUnpackedness
                                       'GHC.Generics.SourceStrict
                                       'GHC.Generics.DecidedStrict)
                                    (GHC.Generics.Rec0 Language.Fixpoint.Types.Theories.Raw))
                GHC.Generics.:*: (GHC.Generics.S1
                                    ('GHC.Generics.MetaSel
                                       ('GHC.Maybe.Just "tsSort")
                                       'GHC.Generics.NoSourceUnpackedness
                                       'GHC.Generics.SourceStrict
                                       'GHC.Generics.DecidedStrict)
                                    (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)
                                  GHC.Generics.:*: GHC.Generics.S1
                                                     ('GHC.Generics.MetaSel
                                                        ('GHC.Maybe.Just "tsInterp")
                                                        'GHC.Generics.NoSourceUnpackedness
                                                        'GHC.Generics.SourceStrict
                                                        'GHC.Generics.DecidedStrict)
                                                     (GHC.Generics.Rec0
                                                        Language.Fixpoint.Types.Theories.Sem))))
810e2965561391114a602ece3df70281
  data Sem = Uninterp | Ctor | Test | Field | Theory
0506688674ca55c28cc4df4c4dbdb2df
  data SmtSort
    = SInt
    | SBool
    | SReal
    | SString
    | SSet
    | SMap
    | SBitVec !GHC.Types.Int
    | SVar !GHC.Types.Int
    | SData !Language.Fixpoint.Types.Sorts.FTycon
            ![Language.Fixpoint.Types.Theories.SmtSort]
0506688674ca55c28cc4df4c4dbdb2df
  data SymEnv
    = SymEnv {seSort :: !(Language.Fixpoint.Types.Environments.SEnv
                            Language.Fixpoint.Types.Sorts.Sort),
              seTheory :: !(Language.Fixpoint.Types.Environments.SEnv
                              Language.Fixpoint.Types.Theories.TheorySymbol),
              seData :: !(Language.Fixpoint.Types.Environments.SEnv
                            Language.Fixpoint.Types.Sorts.DataDecl),
              seLits :: !(Language.Fixpoint.Types.Environments.SEnv
                            Language.Fixpoint.Types.Sorts.Sort),
              seAppls :: !(Data.HashMap.Base.HashMap
                             Language.Fixpoint.Types.Theories.FuncSort GHC.Types.Int)}
810e2965561391114a602ece3df70281
  data TheorySymbol
    = Thy {tsSym :: !Language.Fixpoint.Types.Names.Symbol,
           tsRaw :: !Language.Fixpoint.Types.Theories.Raw,
           tsSort :: !Language.Fixpoint.Types.Sorts.Sort,
           tsInterp :: !Language.Fixpoint.Types.Theories.Sem}
4e094436da1e3d3eea8a9ff801f624d5
  insertSymEnv ::
    Language.Fixpoint.Types.Names.Symbol
    -> Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Theories.SymEnv
    -> Language.Fixpoint.Types.Theories.SymEnv
bfa10c0f122029fd8b483144c484096e
  insertsSymEnv ::
    Language.Fixpoint.Types.Theories.SymEnv
    -> [(Language.Fixpoint.Types.Names.Symbol,
         Language.Fixpoint.Types.Sorts.Sort)]
    -> Language.Fixpoint.Types.Theories.SymEnv
041ba075145d45bba8fd02c6ed18518a
  isIntSmtSort ::
    Language.Fixpoint.Types.Environments.SEnv
      Language.Fixpoint.Types.Sorts.DataDecl
    -> Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool
0506688674ca55c28cc4df4c4dbdb2df
  seAppls ::
    Language.Fixpoint.Types.Theories.SymEnv
    -> Data.HashMap.Base.HashMap
         Language.Fixpoint.Types.Theories.FuncSort GHC.Types.Int
  RecSel Left Language.Fixpoint.Types.Theories.SymEnv
0506688674ca55c28cc4df4c4dbdb2df
  seData ::
    Language.Fixpoint.Types.Theories.SymEnv
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.DataDecl
  RecSel Left Language.Fixpoint.Types.Theories.SymEnv
0506688674ca55c28cc4df4c4dbdb2df
  seLits ::
    Language.Fixpoint.Types.Theories.SymEnv
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.Sort
  RecSel Left Language.Fixpoint.Types.Theories.SymEnv
0506688674ca55c28cc4df4c4dbdb2df
  seSort ::
    Language.Fixpoint.Types.Theories.SymEnv
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.Sort
  RecSel Left Language.Fixpoint.Types.Theories.SymEnv
0506688674ca55c28cc4df4c4dbdb2df
  seTheory ::
    Language.Fixpoint.Types.Theories.SymEnv
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Theories.TheorySymbol
  RecSel Left Language.Fixpoint.Types.Theories.SymEnv
4fef6a945014c08fdd9da90cda8a95e3
  sortSmtSort ::
    GHC.Types.Bool
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.DataDecl
    -> Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Theories.SmtSort
1992706f8fadb6cc07f433cceb88b481
  symEnv ::
    Language.Fixpoint.Types.Environments.SEnv
      Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Theories.TheorySymbol
    -> [Language.Fixpoint.Types.Sorts.DataDecl]
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.Sort
    -> [Language.Fixpoint.Types.Sorts.Sort]
    -> Language.Fixpoint.Types.Theories.SymEnv
4e4e9cdbc3a9475a23f86b15dfd87974
  symEnvSort ::
    Language.Fixpoint.Types.Names.Symbol
    -> Language.Fixpoint.Types.Theories.SymEnv
    -> GHC.Maybe.Maybe Language.Fixpoint.Types.Sorts.Sort
b4df3d48b26aea68a082338a9b46e1f3
  symEnvTheory ::
    Language.Fixpoint.Types.Names.Symbol
    -> Language.Fixpoint.Types.Theories.SymEnv
    -> GHC.Maybe.Maybe Language.Fixpoint.Types.Theories.TheorySymbol
bd64b79fb7384a9bc331801c046897dc
  symbolAtName ::
    Language.Fixpoint.Types.PrettyPrint.PPrint a =>
    Language.Fixpoint.Types.Names.Symbol
    -> Language.Fixpoint.Types.Theories.SymEnv
    -> a
    -> Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Names.Symbol
671cfc927c8973dd2b729af0d27af1b0
  symbolAtSmtName ::
    Language.Fixpoint.Types.PrettyPrint.PPrint a =>
    Language.Fixpoint.Types.Names.Symbol
    -> Language.Fixpoint.Types.Theories.SymEnv
    -> a
    -> Language.Fixpoint.Types.Theories.FuncSort
    -> Language.Fixpoint.Types.Names.Symbol
810e2965561391114a602ece3df70281
  tsInterp ::
    Language.Fixpoint.Types.Theories.TheorySymbol
    -> Language.Fixpoint.Types.Theories.Sem
  RecSel Left Language.Fixpoint.Types.Theories.TheorySymbol
810e2965561391114a602ece3df70281
  tsRaw ::
    Language.Fixpoint.Types.Theories.TheorySymbol
    -> Language.Fixpoint.Types.Theories.Raw
  RecSel Left Language.Fixpoint.Types.Theories.TheorySymbol
810e2965561391114a602ece3df70281
  tsSort ::
    Language.Fixpoint.Types.Theories.TheorySymbol
    -> Language.Fixpoint.Types.Sorts.Sort
  RecSel Left Language.Fixpoint.Types.Theories.TheorySymbol
810e2965561391114a602ece3df70281
  tsSym ::
    Language.Fixpoint.Types.Theories.TheorySymbol
    -> Language.Fixpoint.Types.Names.Symbol
  RecSel Left Language.Fixpoint.Types.Theories.TheorySymbol
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fBinarySem
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fBinarySmtSort
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fBinarySymEnv
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fBinaryTheorySymbol
instance Data.Data.Data [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fDataSem
instance Data.Data.Data [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fDataSmtSort
instance Data.Data.Data [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fDataSymEnv
instance Data.Data.Data [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fDataTheorySymbol
instance GHC.Classes.Eq [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fEqSem
instance GHC.Classes.Eq [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fEqSmtSort
instance GHC.Classes.Eq [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fEqSymEnv
instance GHC.Classes.Eq [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fEqTheorySymbol
instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fFixpointTheorySymbol
instance GHC.Generics.Generic [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fGenericSem
instance GHC.Generics.Generic [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fGenericSmtSort
instance GHC.Generics.Generic [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fGenericSymEnv
instance GHC.Generics.Generic [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fGenericTheorySymbol
instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fHashableSmtSort
instance GHC.Base.Monoid [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fMonoidSymEnv
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fNFDataSem
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fNFDataSmtSort
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fNFDataSymEnv
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fNFDataTheorySymbol
instance GHC.Classes.Ord [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fOrdSem
instance GHC.Classes.Ord [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fOrdSmtSort
instance GHC.Classes.Ord [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fOrdTheorySymbol
instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fPPrintSem
instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fPPrintSmtSort
instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fPPrintTheorySymbol
instance GHC.Base.Semigroup [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fSemigroupSymEnv
instance GHC.Show.Show [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.$fShowSem
instance GHC.Show.Show [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.$fShowSmtSort
instance GHC.Show.Show [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.$fShowSymEnv
instance GHC.Show.Show [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.$fShowTheorySymbol
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Theories.SymEnv]
  = Language.Fixpoint.Types.Theories.Rep_SymEnv
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Theories.SmtSort]
  = Language.Fixpoint.Types.Theories.Rep_SmtSort
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Theories.TheorySymbol]
  = Language.Fixpoint.Types.Theories.Rep_TheorySymbol
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Theories.Sem]
  = Language.Fixpoint.Types.Theories.Rep_Sem
trusted: none
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: