==================== FINAL INTERFACE ==================== 2019-09-22 14:52:27.015515 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts [family instance module] 8065 interface hash: 1e56fac181377f5b6b3dae4ef57af52f ABI hash: d0243918454a124f22fcf2431757efd6 export-list hash: b866d80011faf2d8f77449fdc11dc733 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: c06f23d886f03f328083d5fdbbee337b opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Sorts.basicSorts Language.Fixpoint.Types.Sorts.bitVecSort Language.Fixpoint.Types.Sorts.bkFFunc Language.Fixpoint.Types.Sorts.boolFTyCon Language.Fixpoint.Types.Sorts.boolSort Language.Fixpoint.Types.Sorts.charSort Language.Fixpoint.Types.Sorts.fApp Language.Fixpoint.Types.Sorts.fAppTC Language.Fixpoint.Types.Sorts.fObj Language.Fixpoint.Types.Sorts.fTyconSelfSort Language.Fixpoint.Types.Sorts.fTyconSort Language.Fixpoint.Types.Sorts.fTyconSymbol Language.Fixpoint.Types.Sorts.funcSort Language.Fixpoint.Types.Sorts.functionSort Language.Fixpoint.Types.Sorts.intFTyCon Language.Fixpoint.Types.Sorts.intSort Language.Fixpoint.Types.Sorts.isFirstOrder Language.Fixpoint.Types.Sorts.isListTC Language.Fixpoint.Types.Sorts.isNumeric Language.Fixpoint.Types.Sorts.isPolyInst Language.Fixpoint.Types.Sorts.isReal Language.Fixpoint.Types.Sorts.isString Language.Fixpoint.Types.Sorts.listFTyCon Language.Fixpoint.Types.Sorts.mapFTyCon Language.Fixpoint.Types.Sorts.mapFVar Language.Fixpoint.Types.Sorts.mapSort Language.Fixpoint.Types.Sorts.mappendFTC Language.Fixpoint.Types.Sorts.mkFFunc Language.Fixpoint.Types.Sorts.mkPoly Language.Fixpoint.Types.Sorts.muSort Language.Fixpoint.Types.Sorts.numFTyCon Language.Fixpoint.Types.Sorts.realFTyCon Language.Fixpoint.Types.Sorts.realSort Language.Fixpoint.Types.Sorts.setFTyCon Language.Fixpoint.Types.Sorts.setSort Language.Fixpoint.Types.Sorts.sizeBv Language.Fixpoint.Types.Sorts.sortAbs Language.Fixpoint.Types.Sorts.sortFTycon Language.Fixpoint.Types.Sorts.sortSubst Language.Fixpoint.Types.Sorts.strFTyCon Language.Fixpoint.Types.Sorts.strSort Language.Fixpoint.Types.Sorts.symbolFTycon Language.Fixpoint.Types.Sorts.symbolNumInfoFTyCon Language.Fixpoint.Types.Sorts.tceFromList Language.Fixpoint.Types.Sorts.tceInsert Language.Fixpoint.Types.Sorts.tceInsertWith Language.Fixpoint.Types.Sorts.tceLookup Language.Fixpoint.Types.Sorts.tceMap Language.Fixpoint.Types.Sorts.tceMember Language.Fixpoint.Types.Sorts.tceToList Language.Fixpoint.Types.Sorts.unAbs Language.Fixpoint.Types.Sorts.unFApp Language.Fixpoint.Types.Sorts.DataCtor{Language.Fixpoint.Types.Sorts.DCtor dcFields dcName} Language.Fixpoint.Types.Sorts.DataDecl{Language.Fixpoint.Types.Sorts.DDecl ddCtors ddTyCon ddVars} Language.Fixpoint.Types.Sorts.DataField{Language.Fixpoint.Types.Sorts.DField dfName dfSort} Language.Fixpoint.Types.Sorts.FTycon Language.Fixpoint.Types.Sorts.Sort{Language.Fixpoint.Types.Sorts.FAbs Language.Fixpoint.Types.Sorts.FApp Language.Fixpoint.Types.Sorts.FFrac Language.Fixpoint.Types.Sorts.FFunc Language.Fixpoint.Types.Sorts.FInt Language.Fixpoint.Types.Sorts.FNum Language.Fixpoint.Types.Sorts.FObj Language.Fixpoint.Types.Sorts.FReal Language.Fixpoint.Types.Sorts.FTC Language.Fixpoint.Types.Sorts.FVar} Language.Fixpoint.Types.Sorts.Sub{Language.Fixpoint.Types.Sorts.Sub} Language.Fixpoint.Types.Sorts.TCArgs{Language.Fixpoint.Types.Sorts.NoArgs Language.Fixpoint.Types.Sorts.WithArgs} Language.Fixpoint.Types.Sorts.TCEmb module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Spans 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.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.Names 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.Maybe 9b76a39e833465c3c5b3c078b431417f 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.Err ea5e313ef4146b40b5d8b27aa168e736 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 ListNE 34c095e41b29e7147eb4001d73367295 errorstar e47c2d482124b43e020a405f809adcff intersperse 3560fd9d33e532745e7669346fe553d7 mapFst a682b107c685b3ee1d7890f4d99a54b7 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 LocSymbol e6d5fcd49dd2746d9598e2efb4f857d1 Symbol 3f986d27cdf6315dd770c516fc00a643 Symbolic 2eef5be3f02dd72d878415fe4e78ea18 bitVecName 00019ed7902409f02e42ac9147024c0f charConName 8fd2f192dd3a20288c13ba42ce745525 listConName 754b3882dbc8a426d10fc3adcefc2e31 listLConName 59db8cee6987998bcd5f4c00a7c0be73 mapConName d689532bc106bd19f9aeb509fed810cd setConName 3b13e60e763424621a6d71f4ff2b3095 size32Name eb86c7a87bf6d4fe421e48a12b486920 size64Name c319990772c58056fc8adbb99d90eef0 strConName 9c4c6b48478291cfa01860495bbf65e3 symbol 8093c1d4f5a85b247a3a96c3fce3245c import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 exports: 9e9118ba5257e743a1e1c46db3e4cd33 Loc 4962bb0bc274d9001b974c3326b63480 Located 98c2e3118bdcfbfec2dfd5f953f55cfd dummyLoc 69f648f1c60987f6ccbe57104041fd71 srcSpan 2b3eb671678320980d11df21e110f501 val 98c2e3118bdcfbfec2dfd5f953f55cfd 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 -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b addDependentFile "/Users/niki/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/include/ghcversion.h" 43db44f9bb88490c2fa995e5f5ec33f2 addDependentFile ".stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/cabal_macros.h" 5d4a89af56b14b9a96821af0abd9deca 90984d28a9f3c849d44b1ec37334f5cb $fBinaryDataCtor :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fBinaryDataDecl :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fBinaryDataField :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fBinaryFTycon :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fBinarySort :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.Sort DFunId 30d6fd7d99459ff88296e3b55c87b46c $fBinarySub :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.Sub DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fBinaryTCArgs :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.TCArgs DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fBinaryTCInfo :: Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fDataDataCtor :: Data.Data.Data Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fDataDataDecl :: Data.Data.Data Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fDataDataField :: Data.Data.Data Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fDataFTycon :: Data.Data.Data Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fDataSort :: Data.Data.Data Language.Fixpoint.Types.Sorts.Sort DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fDataTCArgs :: Data.Data.Data Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fDataTCEmb :: (Data.Data.Data a, GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => Data.Data.Data (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fDataTCInfo :: Data.Data.Data Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fEqDataCtor :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fEqDataDecl :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fEqDataField :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fEqFTycon :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fEqSort :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.Sort DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fEqTCArgs :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fEqTCEmb :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fEqTCInfo :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fFixpointDataCtor :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fFixpointDataDecl :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fFixpointDataField :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fFixpointFTycon :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fFixpointSort :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Sorts.Sort DFunId 90984d28a9f3c849d44b1ec37334f5cb $fGenericDataCtor :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fGenericDataDecl :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fGenericDataField :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fGenericFTycon :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fGenericSort :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.Sort DFunId 30d6fd7d99459ff88296e3b55c87b46c $fGenericSub :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.Sub DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fGenericTCArgs :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fGenericTCEmb :: GHC.Generics.Generic (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fGenericTCInfo :: GHC.Generics.Generic Language.Fixpoint.Types.Sorts.TCInfo DFunId 30d6fd7d99459ff88296e3b55c87b46c $fHashableFTycon :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fHashableSort :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Sorts.Sort DFunId 30d6fd7d99459ff88296e3b55c87b46c $fLocFTycon :: Language.Fixpoint.Types.Spans.Loc Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fMonoidSort :: GHC.Base.Monoid Language.Fixpoint.Types.Sorts.Sort DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fMonoidTCArgs :: GHC.Base.Monoid Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fMonoidTCEmb :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => GHC.Base.Monoid (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fMonoidTCInfo :: GHC.Base.Monoid Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fNFDataDataCtor :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fNFDataDataDecl :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fNFDataDataField :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fNFDataFTycon :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fNFDataSort :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.Sort DFunId 30d6fd7d99459ff88296e3b55c87b46c $fNFDataSub :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.Sub DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fNFDataTCArgs :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fNFDataTCEmb :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fNFDataTCInfo :: Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fOrdDataCtor :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fOrdDataDecl :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fOrdDataField :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fOrdFTycon :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fOrdSort :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.Sort DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fOrdTCArgs :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.TCArgs DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fOrdTCInfo :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fPPrintDataCtor :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fPPrintDataDecl :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fPPrintDataField :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fPPrintFTycon :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Sorts.FTycon DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fPPrintTCArgs :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fSemigroupSort :: GHC.Base.Semigroup Language.Fixpoint.Types.Sorts.Sort DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fSemigroupTCArgs :: GHC.Base.Semigroup Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fSemigroupTCEmb :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => GHC.Base.Semigroup (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fSemigroupTCInfo :: GHC.Base.Semigroup Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fShowDataCtor :: GHC.Show.Show Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fShowDataDecl :: GHC.Show.Show Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fShowDataField :: GHC.Show.Show Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fShowFTycon :: GHC.Show.Show Language.Fixpoint.Types.Sorts.FTycon DFunId 30d6fd7d99459ff88296e3b55c87b46c $fShowSort :: GHC.Show.Show Language.Fixpoint.Types.Sorts.Sort DFunId b6c1d568c46ea57cf9eafbf0f41c6b94 $fShowTCArgs :: GHC.Show.Show Language.Fixpoint.Types.Sorts.TCArgs DFunId 30d6fd7d99459ff88296e3b55c87b46c $fShowTCEmb :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId a9651f66ee5c26936e6c2f16f203a1c4 $fShowTCInfo :: GHC.Show.Show Language.Fixpoint.Types.Sorts.TCInfo DFunId 90984d28a9f3c849d44b1ec37334f5cb $fSymbolicDataCtor :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Sorts.DataCtor DFunId 90984d28a9f3c849d44b1ec37334f5cb $fSymbolicDataDecl :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Sorts.DataDecl DFunId 842b037f4a3d7555ff8e2c17ccb73443 $fSymbolicDataField :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Sorts.DataField DFunId 30d6fd7d99459ff88296e3b55c87b46c $fSymbolicFTycon :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Sorts.FTycon DFunId 64a95a4f5ac779058956048105934fdd $tc'DCtor :: GHC.Types.TyCon 4f0489a43030c2f5cfca68f1316ea129 $tc'DDecl :: GHC.Types.TyCon aa8336e758933a4b1edceb1a541bc82c $tc'DField :: GHC.Types.TyCon ab721ec3cb894ed9cef03cb76869de1c $tc'FAbs :: GHC.Types.TyCon c341d9b66de2c062e95f3c175e73c66b $tc'FApp :: GHC.Types.TyCon 8619b88bab6a4e5edac432039bfc5cc5 $tc'FFrac :: GHC.Types.TyCon cc352379664d6d39e6e87ff370e6343c $tc'FFunc :: GHC.Types.TyCon ea09a83340239d79cafd6e993d088368 $tc'FInt :: GHC.Types.TyCon 8149ff309f5242074f889d219454c7a5 $tc'FNum :: GHC.Types.TyCon c45fd0ebe05ffe1cc6bbe20e57ed39ca $tc'FObj :: GHC.Types.TyCon c78cb6c2a701fa03fbe21ee85625cccd $tc'FReal :: GHC.Types.TyCon 4cf68fed543d83649bb8a7f32d0d97f8 $tc'FTC :: GHC.Types.TyCon 4e2ee13e2593cbb2f154d65c74e06b39 $tc'FVar :: GHC.Types.TyCon eff8ddc829a5d15d42dfdbcd0b767f6d $tc'NoArgs :: GHC.Types.TyCon b7e83c8abab8fb8af579ddbb70f31297 $tc'Sub :: GHC.Types.TyCon 5ac96c4f3b7081fdb591e92936bb88f2 $tc'TC :: GHC.Types.TyCon 90d540d4154debabf8a48b1e97d20fe7 $tc'TCE :: GHC.Types.TyCon 208c89b75a7206f5a3e49cf11070598f $tc'TCInfo :: GHC.Types.TyCon 86ed92ed9f7c77dba03f9c4942c94278 $tc'WithArgs :: GHC.Types.TyCon c0bab16495f1adff39f1c5162dbf612f $tcDataCtor :: GHC.Types.TyCon d1a5c0da78401e46ca7dc6d5bd724a17 $tcDataDecl :: GHC.Types.TyCon afbae00454fbd1201d95418dd2065842 $tcDataField :: GHC.Types.TyCon 11c254ed4e8e245ed034d2438229b17c $tcFTycon :: GHC.Types.TyCon fa5e6ad3bce1887f92987014df2e3d4b $tcSort :: GHC.Types.TyCon 9d070b482bfa59a7a6a7be60f7242c0f $tcSub :: GHC.Types.TyCon aa749c47d74afbdd8dc3d4fcd2e5ee45 $tcTCArgs :: GHC.Types.TyCon d750c17fa7f9e3c00caf0cd24872e677 $tcTCEmb :: GHC.Types.TyCon 82546d7d1a3a8e84d7ad1ba2fc11acee $tcTCInfo :: GHC.Types.TyCon cfd6fe94ead6378f9158436f38656a4d $trModule :: GHC.Types.Module 90984d28a9f3c849d44b1ec37334f5cb data DataCtor = DCtor {dcName :: !Language.Fixpoint.Types.Names.LocSymbol, dcFields :: ![Language.Fixpoint.Types.Sorts.DataField]} 90984d28a9f3c849d44b1ec37334f5cb data DataDecl = DDecl {ddTyCon :: !Language.Fixpoint.Types.Sorts.FTycon, ddVars :: !GHC.Types.Int, ddCtors :: [Language.Fixpoint.Types.Sorts.DataCtor]} 842b037f4a3d7555ff8e2c17ccb73443 data DataField = DField {dfName :: !Language.Fixpoint.Types.Names.LocSymbol, dfSort :: !Language.Fixpoint.Types.Sorts.Sort} 30d6fd7d99459ff88296e3b55c87b46c data FTycon = TC Language.Fixpoint.Types.Names.LocSymbol Language.Fixpoint.Types.Sorts.TCInfo 90984d28a9f3c849d44b1ec37334f5cb axiom Language.Fixpoint.Types.Sorts.Rep_DataCtor:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.DataCtor = GHC.Generics.D1 ('GHC.Generics.MetaData "DataCtor" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "DCtor" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "dcName") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.LocSymbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "dcFields") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Sorts.DataField]))) 90984d28a9f3c849d44b1ec37334f5cb axiom Language.Fixpoint.Types.Sorts.Rep_DataDecl:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.DataDecl = GHC.Generics.D1 ('GHC.Generics.MetaData "DataDecl" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "DDecl" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ddTyCon") '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.Just "ddVars") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ddCtors") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Sorts.DataCtor])))) 842b037f4a3d7555ff8e2c17ccb73443 axiom Language.Fixpoint.Types.Sorts.Rep_DataField:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.DataField = GHC.Generics.D1 ('GHC.Generics.MetaData "DataField" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "DField" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "dfName") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.LocSymbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "dfSort") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort))) 30d6fd7d99459ff88296e3b55c87b46c axiom Language.Fixpoint.Types.Sorts.Rep_FTycon:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.FTycon = GHC.Generics.D1 ('GHC.Generics.MetaData "FTycon" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "TC" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.LocSymbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.TCInfo))) 30d6fd7d99459ff88296e3b55c87b46c axiom Language.Fixpoint.Types.Sorts.Rep_Sort:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.Sort = GHC.Generics.D1 ('GHC.Generics.MetaData "Sort" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (((GHC.Generics.C1 ('GHC.Generics.MetaCons "FInt" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "FReal" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "FNum" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "FFrac" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "FObj" '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.Names.Symbol))))) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "FVar" '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 "FFunc" '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.Sort) 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.Sorts.Sort))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "FAbs" '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.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "FTC" '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.C1 ('GHC.Generics.MetaCons "FApp" '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.Sort) 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.Sorts.Sort)))))) 30d6fd7d99459ff88296e3b55c87b46c axiom Language.Fixpoint.Types.Sorts.Rep_Sub:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.Sub = GHC.Generics.D1 ('GHC.Generics.MetaData "Sub" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Sub" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Int, Language.Fixpoint.Types.Sorts.Sort)]))) b6c1d568c46ea57cf9eafbf0f41c6b94 axiom Language.Fixpoint.Types.Sorts.Rep_TCArgs:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.TCArgs = GHC.Generics.D1 ('GHC.Generics.MetaData "TCArgs" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "WithArgs" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "NoArgs" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) 30d6fd7d99459ff88296e3b55c87b46c axiom Language.Fixpoint.Types.Sorts.Rep_TCEmb:: GHC.Generics.Rep (Language.Fixpoint.Types.Sorts.TCEmb a) = GHC.Generics.D1 ('GHC.Generics.MetaData "TCEmb" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "TCE" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap a (Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Sorts.TCArgs))))) a9651f66ee5c26936e6c2f16f203a1c4 axiom Language.Fixpoint.Types.Sorts.Rep_TCInfo:: GHC.Generics.Rep Language.Fixpoint.Types.Sorts.TCInfo = GHC.Generics.D1 ('GHC.Generics.MetaData "TCInfo" "Language.Fixpoint.Types.Sorts" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "TCInfo" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "tc_isNum") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "tc_isReal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "tc_isString") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)))) 30d6fd7d99459ff88296e3b55c87b46c data Sort = FInt | FReal | FNum | FFrac | FObj !Language.Fixpoint.Types.Names.Symbol | FVar !GHC.Types.Int | FFunc !Language.Fixpoint.Types.Sorts.Sort !Language.Fixpoint.Types.Sorts.Sort | FAbs !GHC.Types.Int !Language.Fixpoint.Types.Sorts.Sort | FTC !Language.Fixpoint.Types.Sorts.FTycon | FApp !Language.Fixpoint.Types.Sorts.Sort !Language.Fixpoint.Types.Sorts.Sort 30d6fd7d99459ff88296e3b55c87b46c newtype Sub = Sub [(GHC.Types.Int, Language.Fixpoint.Types.Sorts.Sort)] b6c1d568c46ea57cf9eafbf0f41c6b94 data TCArgs = WithArgs | NoArgs 30d6fd7d99459ff88296e3b55c87b46c type role TCEmb nominal newtype TCEmb a = TCE (Data.HashMap.Base.HashMap a (Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Sorts.TCArgs)) a9651f66ee5c26936e6c2f16f203a1c4 data TCInfo = TCInfo {tc_isNum :: GHC.Types.Bool, tc_isReal :: GHC.Types.Bool, tc_isString :: GHC.Types.Bool} 1b1e54e2a1502a49099ea8537be4dd56 basicSorts :: [Language.Fixpoint.Types.Sorts.Sort] fb482949084196d18d148139ee7f05ff bitVecSort :: Language.Fixpoint.Types.Sorts.Sort dd65fbe61e298d432b652ba1d8c095a0 bkFFunc :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Maybe.Maybe (GHC.Types.Int, [Language.Fixpoint.Types.Sorts.Sort]) 16fb6d8210614fc05a3dd17e4b56e7de boolFTyCon :: Language.Fixpoint.Types.Sorts.FTycon 05be9e1ff80dff4f05fc2d8105076210 boolSort :: Language.Fixpoint.Types.Sorts.Sort 6f54c9017b7440e93c35a09549fd60ca charSort :: Language.Fixpoint.Types.Sorts.Sort 90984d28a9f3c849d44b1ec37334f5cb dcFields :: Language.Fixpoint.Types.Sorts.DataCtor -> [Language.Fixpoint.Types.Sorts.DataField] RecSel Left Language.Fixpoint.Types.Sorts.DataCtor 90984d28a9f3c849d44b1ec37334f5cb dcName :: Language.Fixpoint.Types.Sorts.DataCtor -> Language.Fixpoint.Types.Names.LocSymbol RecSel Left Language.Fixpoint.Types.Sorts.DataCtor 90984d28a9f3c849d44b1ec37334f5cb ddCtors :: Language.Fixpoint.Types.Sorts.DataDecl -> [Language.Fixpoint.Types.Sorts.DataCtor] RecSel Left Language.Fixpoint.Types.Sorts.DataDecl 90984d28a9f3c849d44b1ec37334f5cb ddTyCon :: Language.Fixpoint.Types.Sorts.DataDecl -> Language.Fixpoint.Types.Sorts.FTycon RecSel Left Language.Fixpoint.Types.Sorts.DataDecl 90984d28a9f3c849d44b1ec37334f5cb ddVars :: Language.Fixpoint.Types.Sorts.DataDecl -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Sorts.DataDecl 842b037f4a3d7555ff8e2c17ccb73443 dfName :: Language.Fixpoint.Types.Sorts.DataField -> Language.Fixpoint.Types.Names.LocSymbol RecSel Left Language.Fixpoint.Types.Sorts.DataField 842b037f4a3d7555ff8e2c17ccb73443 dfSort :: Language.Fixpoint.Types.Sorts.DataField -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Sorts.DataField c49e03b92bfc3b317f317f42b9427882 fApp :: Language.Fixpoint.Types.Sorts.Sort -> [Language.Fixpoint.Types.Sorts.Sort] -> Language.Fixpoint.Types.Sorts.Sort d1730a0e7e76ba505e7fb32cccadc22b fAppTC :: Language.Fixpoint.Types.Sorts.FTycon -> [Language.Fixpoint.Types.Sorts.Sort] -> Language.Fixpoint.Types.Sorts.Sort 7b7c9027c8922a15fc7940a9ec0ef6cb fObj :: Language.Fixpoint.Types.Names.LocSymbol -> Language.Fixpoint.Types.Sorts.Sort 21d6ada3b337a5124b7098a77a4b8359 fTyconSelfSort :: Language.Fixpoint.Types.Sorts.FTycon -> GHC.Types.Int -> Language.Fixpoint.Types.Sorts.Sort 633df8b8447e1a481b51fa09ec285390 fTyconSort :: Language.Fixpoint.Types.Sorts.FTycon -> Language.Fixpoint.Types.Sorts.Sort 1a1d4e8a41d0680c0eae5cf4d96236f0 fTyconSymbol :: Language.Fixpoint.Types.Sorts.FTycon -> Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Names.Symbol 704a7cd5c6c59ccb248291ac38658563 funcSort :: Language.Fixpoint.Types.Sorts.Sort f594877f5448823b341deb917c8c3252 functionSort :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Maybe.Maybe ([GHC.Types.Int], [Language.Fixpoint.Types.Sorts.Sort], Language.Fixpoint.Types.Sorts.Sort) 427efe970e81ec61d153671f94e1bbc6 intFTyCon :: Language.Fixpoint.Types.Sorts.FTycon ab1a8687c0d53db967e03c16ee505e9c intSort :: Language.Fixpoint.Types.Sorts.Sort cfd506bfd2cff1e57e8dcb1d24cae9ab isFirstOrder :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool ef853046dc3bd19f54ff63f86048f01e isListTC :: Language.Fixpoint.Types.Sorts.FTycon -> GHC.Types.Bool 185086e9ed1ab1d12d79b7e919aca7bb isNumeric :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool 676f1726c10c87f40ca1a0650d1b61c8 isPolyInst :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool b482e086efc3a429928da3008e154a37 isReal :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool 3c267f62fc9e05bc4e545153ea826927 isString :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool 300e5e0c35f513f011d66af81e99a681 listFTyCon :: Language.Fixpoint.Types.Sorts.FTycon 8ffa7b4c807aa25962bf7825c7173d7b mapFTyCon :: Language.Fixpoint.Types.Sorts.FTycon c204e11612f295b298016f3e4249de7a mapFVar :: (GHC.Types.Int -> GHC.Types.Int) -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort c383da3147fdba1ec21866e7d2b99fb8 mapSort :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort 2eb80517192d1035fdd148da555042ae mappendFTC :: Language.Fixpoint.Types.Sorts.FTycon -> Language.Fixpoint.Types.Sorts.FTycon -> Language.Fixpoint.Types.Sorts.FTycon 7fc888cdee141d3972072d0738f6e6fc mkFFunc :: GHC.Types.Int -> [Language.Fixpoint.Types.Sorts.Sort] -> Language.Fixpoint.Types.Sorts.Sort 0a7ab8f8c203859fcd432a2dfdd5abb2 mkPoly :: GHC.Types.Int -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort e2cb2ad7e858df633905b445c4a9097a muSort :: [Language.Fixpoint.Types.Sorts.DataDecl] -> [Language.Fixpoint.Types.Sorts.DataDecl] 0f72d23411d7c3f3edbbdcd1c330f7b0 numFTyCon :: Language.Fixpoint.Types.Sorts.FTycon 6788f88268a6f66794a22f221cad4068 realFTyCon :: Language.Fixpoint.Types.Sorts.FTycon 459390a973b7f26d48daa507f727b0b4 realSort :: Language.Fixpoint.Types.Sorts.Sort b50624ec599b3dfe50370f2d324b07f2 setFTyCon :: Language.Fixpoint.Types.Sorts.FTycon bd8955fcea07424549befb5ca89dd160 setSort :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort 23d61dced12a09cf4058ece06537f20a sizeBv :: Language.Fixpoint.Types.Sorts.FTycon -> GHC.Maybe.Maybe GHC.Types.Int c41d144241671a33236cba3988331ef8 sortAbs :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Int c593c45fcd6f7dd5c458c1019c6ceff2 sortFTycon :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Maybe.Maybe Language.Fixpoint.Types.Sorts.FTycon b990d3b59e1236d7b5827572c5da5f3f sortSubst :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort c99941d4ded65186c0de5d73178fe143 strFTyCon :: Language.Fixpoint.Types.Sorts.FTycon c638fae801e8e1f254334aa30682ab3e strSort :: Language.Fixpoint.Types.Sorts.Sort 93c1f3a947f85ee0557577e72fb0c2a1 symbolFTycon :: Language.Fixpoint.Types.Names.LocSymbol -> Language.Fixpoint.Types.Sorts.FTycon b6634a7aa7fbcaa40d78d8348ad37962 symbolNumInfoFTyCon :: Language.Fixpoint.Types.Names.LocSymbol -> GHC.Types.Bool -> GHC.Types.Bool -> Language.Fixpoint.Types.Sorts.FTycon a9651f66ee5c26936e6c2f16f203a1c4 tc_isNum :: Language.Fixpoint.Types.Sorts.TCInfo -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Sorts.TCInfo a9651f66ee5c26936e6c2f16f203a1c4 tc_isReal :: Language.Fixpoint.Types.Sorts.TCInfo -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Sorts.TCInfo a9651f66ee5c26936e6c2f16f203a1c4 tc_isString :: Language.Fixpoint.Types.Sorts.TCInfo -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Sorts.TCInfo c98392214ce18865fd59d5f2157eed2e tceFromList :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => [(a, (Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Sorts.TCArgs))] -> Language.Fixpoint.Types.Sorts.TCEmb a f938cbf2b1e169f204a826502459422b tceInsert :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => a -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.TCArgs -> Language.Fixpoint.Types.Sorts.TCEmb a -> Language.Fixpoint.Types.Sorts.TCEmb a 95ceeb66bd2f978f367568c570cadffb tceInsertWith :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => (Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort) -> a -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.TCArgs -> Language.Fixpoint.Types.Sorts.TCEmb a -> Language.Fixpoint.Types.Sorts.TCEmb a ba24d63235282b2af5b374d3f4fff5ab tceLookup :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => a -> Language.Fixpoint.Types.Sorts.TCEmb a -> GHC.Maybe.Maybe (Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Sorts.TCArgs) fd9412cb209406f0bd423babdd51b745 tceMap :: (GHC.Classes.Eq b, Data.Hashable.Class.Hashable b) => (a -> b) -> Language.Fixpoint.Types.Sorts.TCEmb a -> Language.Fixpoint.Types.Sorts.TCEmb b bdb28d8b627b92c630f35e254a2f038d tceMember :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => a -> Language.Fixpoint.Types.Sorts.TCEmb a -> GHC.Types.Bool 94dabd1e812c8f02e6ee6f26485a43a6 tceToList :: Language.Fixpoint.Types.Sorts.TCEmb a -> [(a, (Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Sorts.TCArgs))] ef7ce18bc22737d17abae86be1111da1 unAbs :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort f4945d2eb7df5bb40d6a2a87a5c0fdb7 unFApp :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Sorts.Sort instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fBinaryDataCtor instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fBinaryDataDecl instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fBinaryDataField instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fBinaryFTycon instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fBinarySort instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.Sub] = Language.Fixpoint.Types.Sorts.$fBinarySub instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fBinaryTCArgs instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fBinaryTCInfo instance Data.Data.Data [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fDataDataCtor instance Data.Data.Data [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fDataDataDecl instance Data.Data.Data [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fDataDataField instance Data.Data.Data [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fDataFTycon instance Data.Data.Data [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fDataSort instance Data.Data.Data [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fDataTCArgs instance Data.Data.Data [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fDataTCEmb instance Data.Data.Data [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fDataTCInfo instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fEqDataCtor instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fEqDataDecl instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fEqDataField instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fEqFTycon instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fEqSort instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fEqTCArgs instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fEqTCEmb instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fEqTCInfo instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fFixpointDataCtor instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fFixpointDataDecl instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fFixpointDataField instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fFixpointFTycon instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fFixpointSort instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fGenericDataCtor instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fGenericDataDecl instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fGenericDataField instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fGenericFTycon instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fGenericSort instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.Sub] = Language.Fixpoint.Types.Sorts.$fGenericSub instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fGenericTCArgs instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fGenericTCEmb instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fGenericTCInfo instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fHashableFTycon instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fHashableSort instance Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fLocFTycon instance GHC.Base.Monoid [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fMonoidSort instance GHC.Base.Monoid [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fMonoidTCArgs instance GHC.Base.Monoid [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fMonoidTCEmb instance GHC.Base.Monoid [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fMonoidTCInfo instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fNFDataDataCtor instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fNFDataDataDecl instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fNFDataDataField instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fNFDataFTycon instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fNFDataSort instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.Sub] = Language.Fixpoint.Types.Sorts.$fNFDataSub instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fNFDataTCArgs instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fNFDataTCEmb instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fNFDataTCInfo instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fOrdDataCtor instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fOrdDataDecl instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fOrdDataField instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fOrdFTycon instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fOrdSort instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fOrdTCArgs instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fOrdTCInfo instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fPPrintDataCtor instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fPPrintDataDecl instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fPPrintDataField instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fPPrintFTycon instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fPPrintTCArgs instance GHC.Base.Semigroup [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fSemigroupSort instance GHC.Base.Semigroup [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fSemigroupTCArgs instance GHC.Base.Semigroup [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fSemigroupTCEmb instance GHC.Base.Semigroup [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fSemigroupTCInfo instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fShowDataCtor instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fShowDataDecl instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fShowDataField instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fShowFTycon instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.$fShowSort instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.$fShowTCArgs instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.$fShowTCEmb instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.$fShowTCInfo instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.$fSymbolicDataCtor instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.$fSymbolicDataDecl instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.$fSymbolicDataField instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.$fSymbolicFTycon family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Sorts.Rep_TCEmb family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.TCArgs] = Language.Fixpoint.Types.Sorts.Rep_TCArgs family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.Sub] = Language.Fixpoint.Types.Sorts.Rep_Sub family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.DataDecl] = Language.Fixpoint.Types.Sorts.Rep_DataDecl family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.DataCtor] = Language.Fixpoint.Types.Sorts.Rep_DataCtor family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.DataField] = Language.Fixpoint.Types.Sorts.Rep_DataField family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Sorts.Rep_Sort family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.FTycon] = Language.Fixpoint.Types.Sorts.Rep_FTycon family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.TCInfo] = Language.Fixpoint.Types.Sorts.Rep_TCInfo trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: