==================== FINAL INTERFACE ==================== 2017-05-08 17:11:06.227203 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments [orphan module] [family instance module] 8002 interface hash: 9eaf9bf61e472ac5ceb6b80a52b557bf ABI hash: 543f9ab0c0e6bbaadca48613d73bba8e export-list hash: 4669185e717ccc7ea5bb609419f82a9f orphan hash: 9f04c306ef303017f2118cb4e1794e3a flag hash: 2096a597d0d6a69efcfed2db3188ea04 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.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.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} Language.Fixpoint.Types.Environments.SolEnv{Language.Fixpoint.Types.Environments.SolEnv soeBinds} 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 package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:Data.Data da440c60016500822a3d4307ca5dea66 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Function 7aca86bfbd92366def5f260e30cb2628 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:Data.Typeable 9257e47d10882145c67c5b489965cfb7 import -/ base-4.9.1.0:Data.Typeable.Internal 0e9bdefa4325a0112d8e73b5e1e1f85d import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary 68bf10cd9cced43ad785ce79fc9157c3 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Class 74e43ac8c719b63390fb5224488bc2fa import -/ deepseq-1.4.2.0@deepseq-1.4.2.0:Control.DeepSeq 0a99763cf6016b16bbf55422778a79b2 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable 7d10d34251a69a2590fb6d42e4140fe6 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Class 8a5b5f72682ff3e25541f7e85c3ab8dc import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b coalesce 7cce060457148488bcd50def295f216a editDistance 94a6a7f17010d83ba3a4523a668ef4db errorstar 38cc16c0836e03b9af68d3c95faef762 fst3 c2fb078f91ea47d89f334b40271f00d5 hashMapToAscList ef6d3b5c0a3d204a98d399458c03670c secondM caed93a0a49c852b39e269ed44e001a6 import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 exports: e209cabd872db433abfe12588fd0016b Symbol 107cf7489707dd0de1ccae6d6e42b2ab symbol 9ba5ac52642e1a4c5f8c1bb4bca7d4db symbolString e0853b1381baa0f4d129124095f9a947 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 PPrint 78b520d4c3718d2e8c30eba678b273b4 pprint ddfd75447423a2dd5342795b308506e9 pprintKVs 5908a369b6bf3dbbe33fd5dabb0f7821 pprintTidy 80cf56bafb9576f5b408b84cf399259a toFix d9f32a4a16e6f96a8d0d9b2cb68e0532 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 exports: ad3988e4da25568fd374ece65579ba09 KVar 68dcac5ad144e4854dc35cff62d456d0 SortedReft bb73da387a50fe3797caa66eb4fb9c35 import -/ Language.Fixpoint.Types.Substitutions b7f0aa61d5c475fe500e5e08936d5953 exports: 5f13b307b2544d8a8da5da387960be4a import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics ea99a8062a9608312218ffd7309b5391 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 ef3a76d59686f16e20c8869d59fa948e $fBinaryHashSet :: (Data.Hashable.Class.Hashable a, GHC.Classes.Eq a, Data.Binary.Class.Binary a) => Data.Binary.Class.Binary (Data.HashSet.HashSet a) DFunId cb3149cea0637142c180ee8c5b609e12 $fBinaryIBindEnv :: Data.Binary.Class.Binary Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fBinaryPacks :: Data.Binary.Class.Binary Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fBinarySEnv :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fBinarySizedEnv :: Data.Binary.Class.Binary Language.Fixpoint.Types.Environments.BindEnv DFunId cb3149cea0637142c180ee8c5b609e12 $fDataIBindEnv :: Data.Data.Data Language.Fixpoint.Types.Environments.IBindEnv DFunId 6b7a0813b490d3c69166a159d2c90bbe $fDataSEnv :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Types.Environments.SEnv a) DFunId cb3149cea0637142c180ee8c5b609e12 $fEqIBindEnv :: GHC.Classes.Eq Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fEqPacks :: GHC.Classes.Eq Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fEqSEnv :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fEqSizedEnv :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fEqSolEnv :: GHC.Classes.Eq Language.Fixpoint.Types.Environments.SolEnv DFunId cb3149cea0637142c180ee8c5b609e12 $fFixpointIBindEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fFixpointPacks :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fFixpointSEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fFixpointSizedEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Environments.BindEnv DFunId 6b7a0813b490d3c69166a159d2c90bbe $fFoldableSEnv :: Data.Foldable.Foldable Language.Fixpoint.Types.Environments.SEnv DFunId b22ca5d85c77eb9cc63ef625fe87597a $fFoldableSizedEnv :: Data.Foldable.Foldable Language.Fixpoint.Types.Environments.SizedEnv DFunId 6b7a0813b490d3c69166a159d2c90bbe $fFunctorSEnv :: GHC.Base.Functor Language.Fixpoint.Types.Environments.SEnv DFunId b22ca5d85c77eb9cc63ef625fe87597a $fFunctorSizedEnv :: GHC.Base.Functor Language.Fixpoint.Types.Environments.SizedEnv DFunId cb3149cea0637142c180ee8c5b609e12 $fGenericIBindEnv :: GHC.Generics.Generic Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fGenericPacks :: GHC.Generics.Generic Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fGenericSEnv :: GHC.Generics.Generic (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fGenericSizedEnv :: GHC.Generics.Generic (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fGenericSolEnv :: GHC.Generics.Generic Language.Fixpoint.Types.Environments.SolEnv DFunId cb3149cea0637142c180ee8c5b609e12 $fMonoidIBindEnv :: GHC.Base.Monoid Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fMonoidPacks :: GHC.Base.Monoid Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fMonoidSEnv :: GHC.Base.Monoid (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fMonoidSizedEnv :: GHC.Base.Monoid Language.Fixpoint.Types.Environments.BindEnv DFunId cb3149cea0637142c180ee8c5b609e12 $fNFDataIBindEnv :: Control.DeepSeq.NFData Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fNFDataPacks :: Control.DeepSeq.NFData Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fNFDataSEnv :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fNFDataSizedEnv :: Control.DeepSeq.NFData Language.Fixpoint.Types.Environments.BindEnv DFunId cb3149cea0637142c180ee8c5b609e12 $fPPrintIBindEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Environments.IBindEnv DFunId 3f91b2f0638acc8f79623888e5db143c $fPPrintPacks :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fPPrintSEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fPPrintSizedEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId 3f91b2f0638acc8f79623888e5db143c $fShowPacks :: GHC.Show.Show Language.Fixpoint.Types.Environments.Packs DFunId 6b7a0813b490d3c69166a159d2c90bbe $fShowSEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Environments.SEnv a) => GHC.Show.Show (Language.Fixpoint.Types.Environments.SEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fShowSizedEnv :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Environments.SizedEnv a) DFunId b22ca5d85c77eb9cc63ef625fe87597a $fShowSolEnv :: GHC.Show.Show Language.Fixpoint.Types.Environments.SolEnv DFunId 6b7a0813b490d3c69166a159d2c90bbe $fTraversableSEnv :: Data.Traversable.Traversable Language.Fixpoint.Types.Environments.SEnv DFunId b22ca5d85c77eb9cc63ef625fe87597a $fTraversableSizedEnv :: Data.Traversable.Traversable Language.Fixpoint.Types.Environments.SizedEnv DFunId a50edd5c5ec389a77ffe8dbd6b8cbdf7 $tc'Alts :: GHC.Types.TyCon 44a88232b9cac368fbd04f155e4dbba0 $tc'BE :: GHC.Types.TyCon 4ebb8110a635b5f49c519acd3aa2210d $tc'FB :: GHC.Types.TyCon 890c230c5d89ca271ac117ac0987e354 $tc'Found :: GHC.Types.TyCon f846dfecc3f84d019c3876a9495d39bd $tc'Packs :: GHC.Types.TyCon 38a2468288ad968d931f6d65c05064fe $tc'SE :: GHC.Types.TyCon a60c9b2e562375806afb5efeaf7bd70e $tc'SolEnv :: GHC.Types.TyCon a4c4f68c236595fa8663cf0698821765 $tcIBindEnv :: GHC.Types.TyCon 922084c6e5eadb963c637f55e5fea1d2 $tcPacks :: GHC.Types.TyCon 52c1deb98dfe786d3ba627d9254ae413 $tcSESearch :: GHC.Types.TyCon 01021e63f7e6d84506db4e74eebc4bbb $tcSEnv :: GHC.Types.TyCon b80e8e2a47ff41d1eb557749fa321a7c $tcSizedEnv :: GHC.Types.TyCon c3696bb462334f06a845fd50ca0633bb $tcSolEnv :: GHC.Types.TyCon 19af228f20b0d293ffd99087d7ad9b7e $trModule :: GHC.Types.Module b22ca5d85c77eb9cc63ef625fe87597a type BindEnv = Language.Fixpoint.Types.Environments.SizedEnv (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) 6733d8cce8f3a70fc98d8a2dd05b900e type BindId = GHC.Types.Int 1eda9de61021b9f793adefd4091df164 type BindMap a = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId a cb3149cea0637142c180ee8c5b609e12 newtype IBindEnv = FB (Data.HashSet.HashSet Language.Fixpoint.Types.Environments.BindId) 3f91b2f0638acc8f79623888e5db143c newtype Packs = Packs {packm :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar GHC.Types.Int} cb3149cea0637142c180ee8c5b609e12 axiom Rep_IBindEnv:: GHC.Generics.Rep Language.Fixpoint.Types.Environments.IBindEnv = GHC.Generics.D1 ('GHC.Generics.MetaData "IBindEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "FB" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashSet.HashSet Language.Fixpoint.Types.Environments.BindId)))) 3f91b2f0638acc8f79623888e5db143c axiom Rep_Packs:: GHC.Generics.Rep Language.Fixpoint.Types.Environments.Packs = GHC.Generics.D1 ('GHC.Generics.MetaData "Packs" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Packs" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.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)))) 6b7a0813b490d3c69166a159d2c90bbe axiom Rep_SEnv:: [a] GHC.Generics.Rep (Language.Fixpoint.Types.Environments.SEnv a) = GHC.Generics.D1 ('GHC.Generics.MetaData "SEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SE" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "seBinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a)))) b22ca5d85c77eb9cc63ef625fe87597a axiom Rep_SizedEnv:: [a] GHC.Generics.Rep (Language.Fixpoint.Types.Environments.SizedEnv a) = GHC.Generics.D1 ('GHC.Generics.MetaData "SizedEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "BE" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.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.Base.Just "beBinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Environments.BindMap a)))) b22ca5d85c77eb9cc63ef625fe87597a axiom Rep_SolEnv:: GHC.Generics.Rep Language.Fixpoint.Types.Environments.SolEnv = GHC.Generics.D1 ('GHC.Generics.MetaData "SolEnv" "Language.Fixpoint.Types.Environments" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SolEnv" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "soeBinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.BindEnv))) 97abff087f749a929e8093d497523d8b data SESearch a = Found a | Alts [Language.Fixpoint.Types.Names.Symbol] 6b7a0813b490d3c69166a159d2c90bbe newtype SEnv a = SE {seBinds :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a} b22ca5d85c77eb9cc63ef625fe87597a data SizedEnv a = BE {_beSize :: !GHC.Types.Int, beBinds :: !Language.Fixpoint.Types.Environments.BindMap a} b22ca5d85c77eb9cc63ef625fe87597a data SolEnv = SolEnv {soeBinds :: !Language.Fixpoint.Types.Environments.BindEnv} f04b36cbb393b0632d8e2cc2b13dfc34 _beSize :: Language.Fixpoint.Types.Environments.SizedEnv a -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Environments.SizedEnv 1df32e5fc75221b392b2f35abf18703f 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 b4c9db3dae3fc3eb1b4b3e1949e25e3d beBinds :: Language.Fixpoint.Types.Environments.SizedEnv a -> Language.Fixpoint.Types.Environments.BindMap a RecSel Left Language.Fixpoint.Types.Environments.SizedEnv 833f3b7efe2e281df230fd9449cef290 bindEnvFromList :: [(Language.Fixpoint.Types.Environments.BindId, Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] -> Language.Fixpoint.Types.Environments.BindEnv 75ce40f2a6fba5dff44661ad4e4d59f5 bindEnvToList :: Language.Fixpoint.Types.Environments.BindEnv -> [(Language.Fixpoint.Types.Environments.BindId, Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] b34ec7be2919beab46c6c29db9002ca6 deleteIBindEnv :: Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv ed72ec0c6ca5963d8b234c4cd01973ab deleteSEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a 42f4100acf1b67794a80cc1af16f73a6 diffIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv b98b63c7abf2508f7a4c8d3faf2127c9 differenceSEnv :: Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv w -> Language.Fixpoint.Types.Environments.SEnv a a03cb305e80a6e42d057b5192770a855 elemsBindEnv :: Language.Fixpoint.Types.Environments.BindEnv -> [Language.Fixpoint.Types.Environments.BindId] b36a4dfe9459424486b2e816e214bf76 elemsIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> [Language.Fixpoint.Types.Environments.BindId] 8e537b1f86351b79bf61e5753c615cec emptyBindEnv :: Language.Fixpoint.Types.Environments.BindEnv 318829125bf1dc50e1d5a9154100fc92 emptyIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv 769c9976aa68e885f8b67a2f09e24a7b emptySEnv :: Language.Fixpoint.Types.Environments.SEnv a d824493befb6e452116039d06daf2b35 envCs :: Language.Fixpoint.Types.Environments.BindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] 53c428e11154f44e3e39832ae21479c2 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 11fa07ac3753f421770c5f6889ac47a3 filterIBindEnv :: (Language.Fixpoint.Types.Environments.BindId -> GHC.Types.Bool) -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv 0293dda658b9e767622f6cedf90cf280 filterSEnv :: (a -> GHC.Types.Bool) -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a fb200859b23e1a40a2ca702a8925b292 fromListIBindEnv :: [Language.Fixpoint.Types.Environments.BindId] -> Language.Fixpoint.Types.Environments.IBindEnv 092c4e2ef40e54493539888ea1496f8c fromListSEnv :: [(Language.Fixpoint.Types.Names.Symbol, a)] -> Language.Fixpoint.Types.Environments.SEnv a d2763b2d4c22e55719c648ee8ad5cbf9 fromMapSEnv :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a -> Language.Fixpoint.Types.Environments.SEnv a 696bf2d6875ff3769179b85a5651d6b7 getPack :: Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Environments.Packs -> GHC.Base.Maybe GHC.Types.Int b202cffa41e2c2a9ab3c1ab64bb7638c 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) b1fcadbf886d1d01b17810eae18f2236 insertSEnv :: Language.Fixpoint.Types.Names.Symbol -> a -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a de3368f96bdbb498df263d1c3ee28507 insertsIBindEnv :: [Language.Fixpoint.Types.Environments.BindId] -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv 5b93063879d11289125c2911073cfccc intersectWithSEnv :: (v1 -> v2 -> a) -> Language.Fixpoint.Types.Environments.SEnv v1 -> Language.Fixpoint.Types.Environments.SEnv v2 -> Language.Fixpoint.Types.Environments.SEnv a 29b5ee1e07b8155330c71b15f9fb0896 intersectionIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv b14112e4f970f3f7f409de20a2723561 lookupBindEnv :: Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.BindEnv -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) e2e97f275a8757619e9e698048991f5e lookupSEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> GHC.Base.Maybe a f97b260aea50f3257c342ec4bc467cc2 lookupSEnvWithDistance :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SESearch a 4c068b760c51fa71ee1a57c8184da8f1 makePack :: [Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar] -> Language.Fixpoint.Types.Environments.Packs 6215241911c4ebcc457255a60a4e5635 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 ca77aad0bab6067b390ded86c4ab1db2 mapMSEnv :: GHC.Base.Monad m => (a -> m b) -> Language.Fixpoint.Types.Environments.SEnv a -> m (Language.Fixpoint.Types.Environments.SEnv b) aceb8a01282f9748fe2fba4972984a57 mapSEnv :: (a -> b) -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv b c8338b4996dcde558bcade41004f10aa 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 50745e64bd816274b9f07bec65b5e354 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 85dcafc870f8c0b617804dd335129034 memberIBindEnv :: Language.Fixpoint.Types.Environments.BindId -> Language.Fixpoint.Types.Environments.IBindEnv -> GHC.Types.Bool ec860b788e67ab2ecad3408e93648cde memberSEnv :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Environments.SEnv a -> GHC.Types.Bool 799c9308e92d0931b2ee8eb10b858843 nullIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> GHC.Types.Bool 7dcffedb548d25c266462369de5ee012 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 bb2e3ab2353b556599c2c880a014e82d seBinds :: Language.Fixpoint.Types.Environments.SEnv a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a RecSel Left Language.Fixpoint.Types.Environments.SEnv ce236b1289620f6216284c24b6471fa1 soeBinds :: Language.Fixpoint.Types.Environments.SolEnv -> Language.Fixpoint.Types.Environments.BindEnv RecSel Left Language.Fixpoint.Types.Environments.SolEnv 58f5a6520b0cb61eff5c50b9aa934010 toListSEnv :: Language.Fixpoint.Types.Environments.SEnv a -> [(Language.Fixpoint.Types.Names.Symbol, a)] c0b209cbc0ec2c282be018249bc37ae9 unionIBindEnv :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Environments.IBindEnv e3a212209167b651b689a2181528c383 unionSEnv :: Language.Fixpoint.Types.Environments.SEnv a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol a -> Language.Fixpoint.Types.Environments.SEnv a e93f9c1827506bf15ff0c96d910c28dc unionSEnv' :: Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a -> Language.Fixpoint.Types.Environments.SEnv a instance 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 GHC.Classes.Eq [Language.Fixpoint.Types.Environments.SolEnv] = Language.Fixpoint.Types.Environments.$fEqSolEnv 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.Generics.Generic [Language.Fixpoint.Types.Environments.SolEnv] = Language.Fixpoint.Types.Environments.$fGenericSolEnv 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.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 GHC.Show.Show [Language.Fixpoint.Types.Environments.SolEnv] = Language.Fixpoint.Types.Environments.$fShowSolEnv 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.SolEnv] = Language.Fixpoint.Types.Environments.Rep_SolEnv 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 vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False