==================== FINAL INTERFACE ==================== 2019-09-22 14:52:33.811173 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments [orphan module] [family instance module] 8065 interface hash: 2c4d86016b0af5b7aafc96c53eb2d59b ABI hash: 5f649aef2fe87979164c56acf3750e20 export-list hash: ab8867d60d15ba2af38632b8e3ed1bf3 orphan hash: 50d58a3af32f6bc908a93a6b8eda40e4 flag hash: e805cb430417e644d2169be4fdaa1477 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Environments.adjustBindEnv Language.Fixpoint.Types.Environments.bindEnvFromList Language.Fixpoint.Types.Environments.bindEnvToList Language.Fixpoint.Types.Environments.deleteIBindEnv Language.Fixpoint.Types.Environments.deleteSEnv Language.Fixpoint.Types.Environments.diffIBindEnv Language.Fixpoint.Types.Environments.differenceSEnv Language.Fixpoint.Types.Environments.elemsBindEnv Language.Fixpoint.Types.Environments.elemsIBindEnv Language.Fixpoint.Types.Environments.emptyBindEnv Language.Fixpoint.Types.Environments.emptyIBindEnv Language.Fixpoint.Types.Environments.emptySEnv Language.Fixpoint.Types.Environments.envCs Language.Fixpoint.Types.Environments.filterBindEnv Language.Fixpoint.Types.Environments.filterIBindEnv Language.Fixpoint.Types.Environments.filterSEnv Language.Fixpoint.Types.Environments.fromListIBindEnv Language.Fixpoint.Types.Environments.fromListSEnv Language.Fixpoint.Types.Environments.fromMapSEnv Language.Fixpoint.Types.Environments.getPack Language.Fixpoint.Types.Environments.insertBindEnv Language.Fixpoint.Types.Environments.insertSEnv Language.Fixpoint.Types.Environments.insertsIBindEnv Language.Fixpoint.Types.Environments.intersectWithSEnv Language.Fixpoint.Types.Environments.intersectionIBindEnv Language.Fixpoint.Types.Environments.lookupBindEnv Language.Fixpoint.Types.Environments.lookupSEnv Language.Fixpoint.Types.Environments.lookupSEnvWithDistance Language.Fixpoint.Types.Environments.makePack Language.Fixpoint.Types.Environments.mapBindEnv Language.Fixpoint.Types.Environments.mapMSEnv Language.Fixpoint.Types.Environments.mapSEnv Language.Fixpoint.Types.Environments.mapSEnvWithKey Language.Fixpoint.Types.Environments.mapWithKeyMBindEnv Language.Fixpoint.Types.Environments.memberIBindEnv Language.Fixpoint.Types.Environments.memberSEnv Language.Fixpoint.Types.Environments.nullIBindEnv Language.Fixpoint.Types.Environments.splitByQuantifiers Language.Fixpoint.Types.Environments.toListSEnv Language.Fixpoint.Types.Environments.unionIBindEnv Language.Fixpoint.Types.Environments.unionSEnv Language.Fixpoint.Types.Environments.unionSEnv' Language.Fixpoint.Types.Environments.BindEnv Language.Fixpoint.Types.Environments.BindId Language.Fixpoint.Types.Environments.BindMap Language.Fixpoint.Types.Environments.EBindEnv Language.Fixpoint.Types.Environments.IBindEnv Language.Fixpoint.Types.Environments.Packs{Language.Fixpoint.Types.Environments.Packs packm} Language.Fixpoint.Types.Environments.SESearch{Language.Fixpoint.Types.Environments.Alts Language.Fixpoint.Types.Environments.Found} Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Environments.SizedEnv|{beBinds} module dependencies: Language.Fixpoint.Misc 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.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.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.Function 739684530bf19978a9a47e63c494ac7b 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.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e import -/ base-4.12.0.0:Data.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff 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 -/ 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 coalesce ab3a1791c20bfa18062187434ad6d461 editDistance 587ac5fa396a6a444285dff1b86b6779 errorstar e47c2d482124b43e020a405f809adcff fst3 f5278b30747d6e9b343f3260d38ec0b3 hashMapToAscList 9dc450088704c65ccbcd800833302942 secondM 769157a40c452ca0ad3ada0e937271df import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 Symbol 3f986d27cdf6315dd770c516fc00a643 symbol 8093c1d4f5a85b247a3a96c3fce3245c symbolString 8b7e66ffe1373b3c8eea5ece172dd4c9 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprint 955dc9d031db587300edf6146ac33be4 pprintKVs 07dc92ab912f4a936c42f767d930636e pprintTidy bf75bee99d55ab15929b450195e64f3c toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc exports: c373b88351492ec6aa75dffded20541a KVar f4ebd74e51621c4f10e9fc003e3885a9 SortedReft 58dd7eff6040aa97f060415235c6cb01 sr_sort 58dd7eff6040aa97f060415235c6cb01 import -/ Language.Fixpoint.Types.Substitutions 68389730f57eb1bd783731c1e8e83435 exports: 49819ba83f4a612781a90fc7826a8b86 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 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 import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 42b1e92f261e4010956d610dca179d9b $fBinaryHashSet :: (Data.Hashable.Class.Hashable a, GHC.Classes.Eq a, Data.Binary.Class.Binary a) => Data.Binary.Class.Binary (Data.HashSet.HashSet a) DFunId b71d4c279d7a7920d70dd44bac0305aa $fBinaryIBindEnv :: Data.Binary.Class.Binary Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fBinaryPacks :: Data.Binary.Class.Binary Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fBinarySEnv :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fBinarySizedEnv :: Data.Binary.Class.Binary Language.Fixpoint.Types.Environments.BindEnv DFunId b71d4c279d7a7920d70dd44bac0305aa $fDataIBindEnv :: Data.Data.Data Language.Fixpoint.Types.Environments.IBindEnv DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fDataSEnv :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Types.Environments.SEnv a) DFunId b71d4c279d7a7920d70dd44bac0305aa $fEqIBindEnv :: GHC.Classes.Eq Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fEqPacks :: GHC.Classes.Eq Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fEqSEnv :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fEqSizedEnv :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId e63e761a61593863b52829e68d5b13b4 $fFixpointEBindEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.EBindEnv DFunId b71d4c279d7a7920d70dd44bac0305aa $fFixpointIBindEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fFixpointPacks :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fFixpointSEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fFixpointSizedEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.BindEnv DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fFoldableSEnv :: Data.Foldable.Foldable Language.Fixpoint.Types.Environments.SEnv DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fFoldableSizedEnv :: Data.Foldable.Foldable Language.Fixpoint.Types.Environments.SizedEnv DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fFunctorSEnv :: GHC.Base.Functor Language.Fixpoint.Types.Environments.SEnv DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fFunctorSizedEnv :: GHC.Base.Functor Language.Fixpoint.Types.Environments.SizedEnv DFunId b71d4c279d7a7920d70dd44bac0305aa $fGenericIBindEnv :: GHC.Generics.Generic Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fGenericPacks :: GHC.Generics.Generic Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fGenericSEnv :: GHC.Generics.Generic (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fGenericSizedEnv :: GHC.Generics.Generic (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId b71d4c279d7a7920d70dd44bac0305aa $fMonoidIBindEnv :: GHC.Base.Monoid Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fMonoidPacks :: GHC.Base.Monoid Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fMonoidSEnv :: GHC.Base.Monoid (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fMonoidSizedEnv :: GHC.Base.Monoid Language.Fixpoint.Types.Environments.BindEnv DFunId b71d4c279d7a7920d70dd44bac0305aa $fNFDataIBindEnv :: Control.DeepSeq.NFData Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fNFDataPacks :: Control.DeepSeq.NFData Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fNFDataSEnv :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fNFDataSizedEnv :: Control.DeepSeq.NFData Language.Fixpoint.Types.Environments.BindEnv DFunId b71d4c279d7a7920d70dd44bac0305aa $fPPrintIBindEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fPPrintPacks :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fPPrintSEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fPPrintSizedEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId b71d4c279d7a7920d70dd44bac0305aa $fSemigroupIBindEnv :: GHC.Base.Semigroup Language.Fixpoint.Types.Environments.IBindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fSemigroupPacks :: GHC.Base.Semigroup Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fSemigroupSEnv :: GHC.Base.Semigroup (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fSemigroupSizedEnv :: GHC.Base.Semigroup Language.Fixpoint.Types.Environments.BindEnv DFunId 745cf232b9d2982922c3e9b6e8a38fa4 $fShowPacks :: GHC.Show.Show Language.Fixpoint.Types.Environments.Packs DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fShowSEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Environments.SEnv a) => GHC.Show.Show (Language.Fixpoint.Types.Environments.SEnv a) DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fShowSizedEnv :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId 7b76b1b3898bd64fc8c2187c261c0f80 $fTraversableSEnv :: Data.Traversable.Traversable Language.Fixpoint.Types.Environments.SEnv DFunId 97a88bb9b7d5b682cdead95f91d87a04 $fTraversableSizedEnv :: Data.Traversable.Traversable Language.Fixpoint.Types.Environments.SizedEnv DFunId bca6f1180b06f0f4f52063b06a0915e8 $tc'Alts :: GHC.Types.TyCon d3c79c6e4bcfa2733160f5642b92667f $tc'BE :: GHC.Types.TyCon 68a228e17953a63d171655ae93fdee29 $tc'EB :: GHC.Types.TyCon 854a83583606586ba9959d19139e6f5c $tc'FB :: GHC.Types.TyCon 759b3e33c229b56ea243aff2d6f8c8ec $tc'Found :: GHC.Types.TyCon 0f62cbeeeb84a3b7670e64c5f8b9dc66 $tc'Packs :: GHC.Types.TyCon b7a6711cf5b5857d70f92fde95ac12c1 $tc'SE :: GHC.Types.TyCon f513e624e0baf0e355c58bd06b9bc8c4 $tcEBindEnv :: GHC.Types.TyCon ccee3fe5379920b6da41f570dc3573e7 $tcIBindEnv :: GHC.Types.TyCon c11bec3e4b6a1f285a25a23d82c33a7a $tcPacks :: GHC.Types.TyCon e332ce971a001371a59763521d859e00 $tcSESearch :: GHC.Types.TyCon 303cd367074428d445fb2444b1dccc1f $tcSEnv :: GHC.Types.TyCon aae3b7b5dce77694759fca4ce038c020 $tcSizedEnv :: GHC.Types.TyCon d157a4cd54b4a61a9cc50dde352cf771 $trModule :: GHC.Types.Module 97a88bb9b7d5b682cdead95f91d87a04 type BindEnv = Language.Fixpoint.Types.Environments.SizedEnv (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) c1dc08df6d648ef575cab1d33fc5df7b type BindId = GHC.Types.Int 39aa3d888f00d0281a1afc8e0bc93bae type BindMap a = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId a e63e761a61593863b52829e68d5b13b4 newtype EBindEnv = EB Language.Fixpoint.Types.Environments.BindEnv b71d4c279d7a7920d70dd44bac0305aa newtype IBindEnv = FB (Data.HashSet.HashSet Language.Fixpoint.Types.Environments.BindId) 745cf232b9d2982922c3e9b6e8a38fa4 newtype Packs = Packs {packm :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar GHC.Types.Int} b71d4c279d7a7920d70dd44bac0305aa axiom Language.Fixpoint.Types.Environments.Rep_IBindEnv:: GHC.Generics.Rep Language.Fixpoint.Types.Environments.IBindEnv = GHC.Generics.D1 ('GHC.Generics.MetaData "IBindEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "FB" '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.HashSet.HashSet Language.Fixpoint.Types.Environments.BindId)))) 745cf232b9d2982922c3e9b6e8a38fa4 axiom Language.Fixpoint.Types.Environments.Rep_Packs:: GHC.Generics.Rep Language.Fixpoint.Types.Environments.Packs = GHC.Generics.D1 ('GHC.Generics.MetaData "Packs" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Packs" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "packm") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar GHC.Types.Int)))) 7b76b1b3898bd64fc8c2187c261c0f80 axiom Language.Fixpoint.Types.Environments.Rep_SEnv:: GHC.Generics.Rep (Language.Fixpoint.Types.Environments.SEnv a) = GHC.Generics.D1 ('GHC.Generics.MetaData "SEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SE" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "seBinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a)))) 97a88bb9b7d5b682cdead95f91d87a04 axiom Language.Fixpoint.Types.Environments.Rep_SizedEnv:: GHC.Generics.Rep (Language.Fixpoint.Types.Environments.SizedEnv a) = GHC.Generics.D1 ('GHC.Generics.MetaData "SizedEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "BE" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_beSize") '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 "beBinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Environments.BindMap a)))) c2c5a6bbb33a41c264276436dbbb3149 data SESearch a = Found a | Alts [Language.Fixpoint.Types.Names.Symbol] 7b76b1b3898bd64fc8c2187c261c0f80 newtype SEnv a = SE {seBinds :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a} 97a88bb9b7d5b682cdead95f91d87a04 data SizedEnv a = BE {_beSize :: !GHC.Types.Int, beBinds :: !(Language.Fixpoint.Types.Environments.BindMap a)} 97a88bb9b7d5b682cdead95f91d87a04 _beSize :: Language.Fixpoint.Types.Environments.SizedEnv a -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Environments.SizedEnv 03a20071911999e08cc0bbf23913313f adjustBindEnv :: ((Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)) -> Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.BindEnv -> Language.Fixpoint.Types.Environments.BindEnv 97a88bb9b7d5b682cdead95f91d87a04 beBinds :: Language.Fixpoint.Types.Environments.SizedEnv a -> Language.Fixpoint.Types.Environments.BindMap a RecSel Left Language.Fixpoint.Types.Environments.SizedEnv 967550b3b3f55a80adc5bd8c64cfd4dc bindEnvFromList :: [(Language.Fixpoint.Types.Environments.BindId, Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] -> Language.Fixpoint.Types.Environments.BindEnv 4e95582ccd56c9ddcde8c24e66fac2b3 bindEnvToList :: Language.Fixpoint.Types.Environments.BindEnv -> [(Language.Fixpoint.Types.Environments.BindId, Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] ac15034cf0e9635db972d74335a45cfd deleteIBindEnv :: Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv c0a7306f69b5faea3051bb367933295e deleteSEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a b96940094e63827617b026d5632e9b40 diffIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv fd2398da30d3b61d15810eca9a419156 differenceSEnv :: Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv w -> Language.Fixpoint.Types.Environments.SEnv a 4f63350b83b69a54d1b32580a67da206 elemsBindEnv :: Language.Fixpoint.Types.Environments.BindEnv -> [Language.Fixpoint.Types.Environments.BindId] cff28cd92ba002848a1acbf3edb359d8 elemsIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> [Language.Fixpoint.Types.Environments.BindId] afeb5e3d81531c7c2c84389f2d1117f9 emptyBindEnv :: Language.Fixpoint.Types.Environments.BindEnv 6cfa8d73992960a6ab6331f8d3b757ff emptyIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv 9f2c7c962f68c35c8835c06a06f1db76 emptySEnv :: Language.Fixpoint.Types.Environments.SEnv a e423fff58f01e321ca4ef94ca8a41936 envCs :: Language.Fixpoint.Types.Environments.BindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] d7f2b544457d7b6ee589986f90fe0a9b filterBindEnv :: (Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Refinements.SortedReft -> GHC.Types.Bool) -> Language.Fixpoint.Types.Environments.BindEnv -> Language.Fixpoint.Types.Environments.BindEnv f7ce8cbf3008ec25398a899f51743e17 filterIBindEnv :: (Language.Fixpoint.Types.Environments.BindId -> GHC.Types.Bool) -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv c77688b7415765f02a29230109d5a8a3 filterSEnv :: (a -> GHC.Types.Bool) -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a 203f800f75e8e2acc2223edc99807147 fromListIBindEnv :: [Language.Fixpoint.Types.Environments.BindId] -> Language.Fixpoint.Types.Environments.IBindEnv 22654f2135f1b607f7ee82962c09eb4c fromListSEnv :: [(Language.Fixpoint.Types.Names.Symbol, a)] -> Language.Fixpoint.Types.Environments.SEnv a 7591ee6663e1b36102232c1b70536dd0 fromMapSEnv :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a -> Language.Fixpoint.Types.Environments.SEnv a 13cc822d3911b52022e30ac1b86af6cd getPack :: Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Environments.Packs -> GHC.Maybe.Maybe GHC.Types.Int bc97de86c3ec6f664abb49ca068d7984 insertBindEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Refinements.SortedReft -> Language.Fixpoint.Types.Environments.BindEnv -> (Language.Fixpoint.Types.Environments.BindId, Language.Fixpoint.Types.Environments.BindEnv) 4288c53866870f2766a71eff8924b8fb insertSEnv :: Language.Fixpoint.Types.Names.Symbol -> a -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a dca3e4d95477ee71c84a2814faf94fea insertsIBindEnv :: [Language.Fixpoint.Types.Environments.BindId] -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv 543b06d5eae1c8f4b2b247b15f9a454f intersectWithSEnv :: (v1 -> v2 -> a) -> Language.Fixpoint.Types.Environments.SEnv v1 -> Language.Fixpoint.Types.Environments.SEnv v2 -> Language.Fixpoint.Types.Environments.SEnv a 825ccfa88a2d78fd8f5dd646d23e905c intersectionIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv d43e50ddb41c32b57594f5f31bf34671 lookupBindEnv :: Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.BindEnv -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) 94599d47b6378649795b045198f42e89 lookupSEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> GHC.Maybe.Maybe a f94357819b257ff74f5b6c3800c04b59 lookupSEnvWithDistance :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SESearch a 4428b57c5dad27356b63b943818a6a45 makePack :: [Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar] -> Language.Fixpoint.Types.Environments.Packs 32197c169397373f8fac7df4bdb16c5f mapBindEnv :: (Language.Fixpoint.Types.Environments.BindId -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)) -> Language.Fixpoint.Types.Environments.BindEnv -> Language.Fixpoint.Types.Environments.BindEnv 152e72246f3c15ad5db786e1c57bd498 mapMSEnv :: GHC.Base.Monad m => (a -> m b) -> Language.Fixpoint.Types.Environments.SEnv a -> m (Language.Fixpoint.Types.Environments.SEnv b) 019036e74bc3a0478523c0b4586cccfa mapSEnv :: (a -> b) -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv b 9fe2394513f94e141fc82b2b61e8110c mapSEnvWithKey :: ((Language.Fixpoint.Types.Names.Symbol, a) -> (Language.Fixpoint.Types.Names.Symbol, b)) -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv b 219f508e16df9faacad8d3bc324a44d1 mapWithKeyMBindEnv :: GHC.Base.Monad m => ((Language.Fixpoint.Types.Environments.BindId, (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)) -> m (Language.Fixpoint.Types.Environments.BindId, (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft))) -> Language.Fixpoint.Types.Environments.BindEnv -> m Language.Fixpoint.Types.Environments.BindEnv 042d686ac1046dc546144657885262c4 memberIBindEnv :: Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.IBindEnv -> GHC.Types.Bool 5c6c280661ab2395f68ceac41ff286dc memberSEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> GHC.Types.Bool b65f48d19857641e3b855b73bcd54658 nullIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> GHC.Types.Bool 745cf232b9d2982922c3e9b6e8a38fa4 packm :: Language.Fixpoint.Types.Environments.Packs -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar GHC.Types.Int RecSel Left Language.Fixpoint.Types.Environments.Packs 7b76b1b3898bd64fc8c2187c261c0f80 seBinds :: Language.Fixpoint.Types.Environments.SEnv a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a RecSel Left Language.Fixpoint.Types.Environments.SEnv 47e055b3941151cd8d69091c12631895 splitByQuantifiers :: Language.Fixpoint.Types.Environments.BindEnv -> [Language.Fixpoint.Types.Environments.BindId] -> (Language.Fixpoint.Types.Environments.BindEnv, Language.Fixpoint.Types.Environments.EBindEnv) ddd97c9c472b637e00dcfff9c958a991 toListSEnv :: Language.Fixpoint.Types.Environments.SEnv a -> [(Language.Fixpoint.Types.Names.Symbol, a)] d6e374c110095a69fc96506c80b54d5a unionIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv 9082cf3e67e0349ea8ea2b1196c1cc9c unionSEnv :: Language.Fixpoint.Types.Environments.SEnv a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a -> Language.Fixpoint.Types.Environments.SEnv a 7dcf4e55175a507f1619d6962d0dc662 unionSEnv' :: Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a instance [orphan] Data.Binary.Class.Binary [Data.HashSet.HashSet] = Language.Fixpoint.Types.Environments.$fBinaryHashSet instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fBinaryIBindEnv instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fBinaryPacks instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fBinarySEnv instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fBinarySizedEnv instance Data.Data.Data [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fDataIBindEnv instance Data.Data.Data [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fDataSEnv instance GHC.Classes.Eq [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fEqIBindEnv instance GHC.Classes.Eq [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fEqPacks instance GHC.Classes.Eq [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fEqSEnv instance GHC.Classes.Eq [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fEqSizedEnv instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Environments.EBindEnv] = Language.Fixpoint.Types.Environments.$fFixpointEBindEnv instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fFixpointIBindEnv instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fFixpointPacks instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fFixpointSEnv instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fFixpointSizedEnv instance Data.Foldable.Foldable [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fFoldableSEnv instance Data.Foldable.Foldable [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fFoldableSizedEnv instance GHC.Base.Functor [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fFunctorSEnv instance GHC.Base.Functor [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fFunctorSizedEnv instance GHC.Generics.Generic [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fGenericIBindEnv instance GHC.Generics.Generic [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fGenericPacks instance GHC.Generics.Generic [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fGenericSEnv instance GHC.Generics.Generic [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fGenericSizedEnv instance GHC.Base.Monoid [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fMonoidIBindEnv instance GHC.Base.Monoid [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fMonoidPacks instance GHC.Base.Monoid [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fMonoidSEnv instance GHC.Base.Monoid [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fMonoidSizedEnv instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fNFDataIBindEnv instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fNFDataPacks instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fNFDataSEnv instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fNFDataSizedEnv instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fPPrintIBindEnv instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fPPrintPacks instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fPPrintSEnv instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fPPrintSizedEnv instance GHC.Base.Semigroup [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.$fSemigroupIBindEnv instance GHC.Base.Semigroup [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fSemigroupPacks instance GHC.Base.Semigroup [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fSemigroupSEnv instance GHC.Base.Semigroup [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fSemigroupSizedEnv instance GHC.Show.Show [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.$fShowPacks instance GHC.Show.Show [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fShowSEnv instance GHC.Show.Show [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fShowSizedEnv instance Data.Traversable.Traversable [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.$fTraversableSEnv instance Data.Traversable.Traversable [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.$fTraversableSizedEnv family instance GHC.Generics.Rep [Language.Fixpoint.Types.Environments.Packs] = Language.Fixpoint.Types.Environments.Rep_Packs family instance GHC.Generics.Rep [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Environments.Rep_SizedEnv family instance GHC.Generics.Rep [Language.Fixpoint.Types.Environments.SEnv] = Language.Fixpoint.Types.Environments.Rep_SEnv family instance GHC.Generics.Rep [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Environments.Rep_IBindEnv trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: