==================== FINAL INTERFACE ==================== 2017-05-08 17:11:17.256952 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Solutions [family instance module] 8002 interface hash: 364a138bab9896c10e43aa336a1f3768 ABI hash: 01540e295b430bf658940ab1fd78ff64 export-list hash: 1fdea0e2933fdfe32b43475d52dc3d11 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: cf79def9316a248f22832b6c427acabc sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Solutions.eQual Language.Fixpoint.Types.Solutions.emptyGMap Language.Fixpoint.Types.Solutions.equalsGb Language.Fixpoint.Types.Solutions.fromList Language.Fixpoint.Types.Solutions.gbEquals Language.Fixpoint.Types.Solutions.gbFilterM Language.Fixpoint.Types.Solutions.gbToQbs Language.Fixpoint.Types.Solutions.glookup Language.Fixpoint.Types.Solutions.lookup Language.Fixpoint.Types.Solutions.lookupQBind Language.Fixpoint.Types.Solutions.qb Language.Fixpoint.Types.Solutions.qbExprs Language.Fixpoint.Types.Solutions.qbFilter Language.Fixpoint.Types.Solutions.qbPreds Language.Fixpoint.Types.Solutions.qbToGb Language.Fixpoint.Types.Solutions.result Language.Fixpoint.Types.Solutions.resultGradual Language.Fixpoint.Types.Solutions.trueEqual Language.Fixpoint.Types.Solutions.update Language.Fixpoint.Types.Solutions.updateGMap Language.Fixpoint.Types.Solutions.updateGMapWithKey Language.Fixpoint.Types.Solutions.BIndex{Language.Fixpoint.Types.Solutions.Bind Language.Fixpoint.Types.Solutions.Cstr Language.Fixpoint.Types.Solutions.Root} Language.Fixpoint.Types.Solutions.BindPred{Language.Fixpoint.Types.Solutions.BP bpConc bpKVar} Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Types.Solutions.Cand Language.Fixpoint.Types.Solutions.Cube{Language.Fixpoint.Types.Solutions.Cube cuBinds cuId cuSubst cuTag} Language.Fixpoint.Types.Solutions.EQual{Language.Fixpoint.Types.Solutions.EQL _eqArgs _eqQual eqPred} Language.Fixpoint.Types.Solutions.GBind Language.Fixpoint.Types.Solutions.GSolution Language.Fixpoint.Types.Solutions.Hyp Language.Fixpoint.Types.Solutions.Index{Language.Fixpoint.Types.Solutions.FastIdx bindExpr envBinds envSorts envTx kvDef kvUse} Language.Fixpoint.Types.Solutions.KIndex{Language.Fixpoint.Types.Solutions.KIndex kiBIndex kiKVar kiPos} Language.Fixpoint.Types.Solutions.QBind Language.Fixpoint.Types.Solutions.Sol{gMap sEnv sScp} Language.Fixpoint.Types.Solutions.Solution module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.SortCheck Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files 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 double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr 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 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 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 text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0 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 cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors 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 transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error 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.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors 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 liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers 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:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Data da440c60016500822a3d4307ca5dea66 import -/ base-4.9.1.0:Data.Either 20b09ef8d0a5b74fdec011c40c1587f5 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 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.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.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 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 -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 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 ListNE 96545dcc18370491ee873ce561f5184d errorstar 38cc16c0836e03b9af68d3c95faef762 groupBase 849b64e3c7d8ef0059baf39f7edcc75c safeZip 89f1ba766ac5a5bdce52f649efe7016d tshow 6b8c68197267609218874f3cacce684a |-> e1dbbe827e448a721c38b0981fa178e7 import -/ Language.Fixpoint.SortCheck 04ab21222148af2d124cde0e043ef924 exports: e64dfad7b499c2aab7e3652ca9b527d5 elaborate c460ee1435aadde133433f0933f18b6c import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba exports: cbcd64f03f446da62e56a956dfca1375 Qualifier e9487053c6bce40dd84cd1ee9e0af940 SubcId 026af1096155a8461a8bb708fa9cb06e Tag c0a373bad87a0eab9cc446e29001a4da qBody c0c875b62cf06a4beb47f992e321adf5 qParams 5b9bff6c99da1814f337e370702c3a17 trueQual 7ca4b80292fd9ac8784d52548d15bea3 import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e exports: 4669185e717ccc7ea5bb609419f82a9f BindId 6733d8cce8f3a70fc98d8a2dd05b900e IBindEnv cb3149cea0637142c180ee8c5b609e12 SEnv 6b7a0813b490d3c69166a159d2c90bbe import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 exports: e209cabd872db433abfe12588fd0016b Symbol 107cf7489707dd0de1ccae6d6e42b2ab import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 PPrint 78b520d4c3718d2e8c30eba678b273b4 pprint ddfd75447423a2dd5342795b308506e9 pprintTidy 80cf56bafb9576f5b408b84cf399259a showpp 6c7acfad3292f20adf3bdca6d5c2204a import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 exports: ad3988e4da25568fd374ece65579ba09 Expr bb73da387a50fe3797caa66eb4fb9c35 KVSub b0d1875bd1ab6a341b44ec5dcca0ce9d KVar 68dcac5ad144e4854dc35cff62d456d0 PAnd 434a1d6f3ed5fe9da9c4ef7ee0a5ab14 Pred fe5223e2cb94480b33571a9d6cda79d5 Subst bb73da387a50fe3797caa66eb4fb9c35 eVar 74d88810d65881403751f807b276cb41 pAnd 8eafe07d5b6d6c31808f02c13e22e044 subst a1be563035cd0a1ba7c6137fdc245106 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da exports: 63c488448e19915f4abf450a4f6b1606 Sort f220e315b91d89c678725efa47bd0097 import -/ Language.Fixpoint.Types.Substitutions b7f0aa61d5c475fe500e5e08936d5953 exports: 5f13b307b2544d8a8da5da387960be4a mkSubst 6e7145d21639b1c40a59e5308fa032b9 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 a67be1c40186f5e1f80211f30edc5320 $fDataEQual :: Data.Data.Data Language.Fixpoint.Types.Solutions.EQual DFunId a67be1c40186f5e1f80211f30edc5320 $fDataGBind :: Data.Data.Data Language.Fixpoint.Types.Solutions.GBind DFunId a67be1c40186f5e1f80211f30edc5320 $fDataQBind :: Data.Data.Data Language.Fixpoint.Types.Solutions.QBind DFunId afe5854d500d32518a0d3eaeeba84306 $fEqBIndex :: GHC.Classes.Eq Language.Fixpoint.Types.Solutions.BIndex DFunId a67be1c40186f5e1f80211f30edc5320 $fEqEQual :: GHC.Classes.Eq Language.Fixpoint.Types.Solutions.EQual DFunId 7c9d507cf7d769a0a02a4db9195caff9 $fEqKIndex :: GHC.Classes.Eq Language.Fixpoint.Types.Solutions.KIndex DFunId a67be1c40186f5e1f80211f30edc5320 $fEqQBind :: GHC.Classes.Eq Language.Fixpoint.Types.Solutions.QBind DFunId df910f3267790c4db885d7a53ee0f365 $fFunctorSol :: GHC.Base.Functor (Language.Fixpoint.Types.Solutions.Sol a) DFunId afe5854d500d32518a0d3eaeeba84306 $fGenericBIndex :: GHC.Generics.Generic Language.Fixpoint.Types.Solutions.BIndex DFunId a67be1c40186f5e1f80211f30edc5320 $fGenericEQual :: GHC.Generics.Generic Language.Fixpoint.Types.Solutions.EQual DFunId a67be1c40186f5e1f80211f30edc5320 $fGenericGBind :: GHC.Generics.Generic Language.Fixpoint.Types.Solutions.GBind DFunId 7c9d507cf7d769a0a02a4db9195caff9 $fGenericKIndex :: GHC.Generics.Generic Language.Fixpoint.Types.Solutions.KIndex DFunId a67be1c40186f5e1f80211f30edc5320 $fGenericQBind :: GHC.Generics.Generic Language.Fixpoint.Types.Solutions.QBind DFunId afe5854d500d32518a0d3eaeeba84306 $fHashableBIndex :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Solutions.BIndex DFunId 7c9d507cf7d769a0a02a4db9195caff9 $fHashableKIndex :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Solutions.KIndex DFunId df910f3267790c4db885d7a53ee0f365 $fMonoidSol :: GHC.Base.Monoid (Language.Fixpoint.Types.Solutions.Sol a b) DFunId a67be1c40186f5e1f80211f30edc5320 $fNFDataEQual :: Control.DeepSeq.NFData Language.Fixpoint.Types.Solutions.EQual DFunId a67be1c40186f5e1f80211f30edc5320 $fNFDataGBind :: Control.DeepSeq.NFData Language.Fixpoint.Types.Solutions.GBind DFunId a67be1c40186f5e1f80211f30edc5320 $fNFDataQBind :: Control.DeepSeq.NFData Language.Fixpoint.Types.Solutions.QBind DFunId afe5854d500d32518a0d3eaeeba84306 $fOrdBIndex :: GHC.Classes.Ord Language.Fixpoint.Types.Solutions.BIndex DFunId 7c9d507cf7d769a0a02a4db9195caff9 $fOrdKIndex :: GHC.Classes.Ord Language.Fixpoint.Types.Solutions.KIndex DFunId afe5854d500d32518a0d3eaeeba84306 $fPPrintBIndex :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Solutions.BIndex DFunId 7a1bf3461669f842d8f4828fcf7c5532 $fPPrintBindPred :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Solutions.BindPred DFunId a8a779c6765ded00686a54fc6b58a635 $fPPrintCube :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Solutions.Cube DFunId a67be1c40186f5e1f80211f30edc5320 $fPPrintEQual :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Solutions.EQual DFunId 7c9d507cf7d769a0a02a4db9195caff9 $fPPrintKIndex :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Solutions.KIndex DFunId a67be1c40186f5e1f80211f30edc5320 $fPPrintQBind :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Solutions.QBind DFunId df910f3267790c4db885d7a53ee0f365 $fPPrintSol :: (Language.Fixpoint.Types.PrettyPrint.PPrint a, Language.Fixpoint.Types.PrettyPrint.PPrint b) => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Solutions.Sol a b) DFunId afe5854d500d32518a0d3eaeeba84306 $fShowBIndex :: GHC.Show.Show Language.Fixpoint.Types.Solutions.BIndex DFunId 7a1bf3461669f842d8f4828fcf7c5532 $fShowBindPred :: GHC.Show.Show Language.Fixpoint.Types.Solutions.BindPred DFunId a8a779c6765ded00686a54fc6b58a635 $fShowCube :: GHC.Show.Show Language.Fixpoint.Types.Solutions.Cube DFunId a67be1c40186f5e1f80211f30edc5320 $fShowEQual :: GHC.Show.Show Language.Fixpoint.Types.Solutions.EQual DFunId a67be1c40186f5e1f80211f30edc5320 $fShowGBind :: GHC.Show.Show Language.Fixpoint.Types.Solutions.GBind DFunId 7c9d507cf7d769a0a02a4db9195caff9 $fShowKIndex :: GHC.Show.Show Language.Fixpoint.Types.Solutions.KIndex DFunId a67be1c40186f5e1f80211f30edc5320 $fShowQBind :: GHC.Show.Show Language.Fixpoint.Types.Solutions.QBind DFunId 27e737eda80f198b85109af3331df0ad $tc'BP :: GHC.Types.TyCon b59c63b8034e2f07774086bce9952160 $tc'Bind :: GHC.Types.TyCon 621c63036f2c13477b24a2ad3b21c08e $tc'Cstr :: GHC.Types.TyCon 610823b73511f0217607af467d2859b2 $tc'Cube :: GHC.Types.TyCon 7a3a76be21add016b3d3bee800e60f08 $tc'EQL :: GHC.Types.TyCon c23d0a4502f49f24608ef486e50e80a5 $tc'FastIdx :: GHC.Types.TyCon 9d960f4600be30adc42818c00e8210b6 $tc'GB :: GHC.Types.TyCon 88c2e857d6c9fdc302de9fd79f4120dd $tc'KIndex :: GHC.Types.TyCon 72081c1a2d701ee15e7befca7b7a53ee $tc'QB :: GHC.Types.TyCon d91daa86b08ce42840d968bd9f224b85 $tc'Root :: GHC.Types.TyCon 7ee24cc2c66120d240e70d81e1b79382 $tc'Sol :: GHC.Types.TyCon c53dcbe477cf69f3c8998d8fb97d417e $tcBIndex :: GHC.Types.TyCon bcea592b8f286a7ea792276f48a36ce7 $tcBindPred :: GHC.Types.TyCon 81fd50e5363c4f77a8255c1e4be30b6a $tcCube :: GHC.Types.TyCon c37791393726304b29872c3f75a4d1dd $tcEQual :: GHC.Types.TyCon a17ebd000ea22d5ef59e2eb1c50a4549 $tcGBind :: GHC.Types.TyCon 765fb41ff2abb8266bd6a501b6e27639 $tcIndex :: GHC.Types.TyCon d202ef4ae09a3ab59c22c4f8f5621509 $tcKIndex :: GHC.Types.TyCon ee48a32bdb2b4c290c42cecad866b459 $tcQBind :: GHC.Types.TyCon 3c424bbc91a212874abe7c0cc93f1db5 $tcSol :: GHC.Types.TyCon 8b03800fab7b79052c2a8207bc033261 $trModule :: GHC.Types.Module afe5854d500d32518a0d3eaeeba84306 data BIndex = Root | Bind !Language.Fixpoint.Types.Environments.BindId | Cstr !Language.Fixpoint.Types.Constraints.SubcId 7a1bf3461669f842d8f4828fcf7c5532 data BindPred = BP {bpConc :: !Language.Fixpoint.Types.Refinements.Pred, bpKVar :: ![Language.Fixpoint.Types.Solutions.KIndex]} 4ba072cfaa176189a6c47d66be05d6b4 type CMap a = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId a 566941c701a6dc0b83cc478b0b9c3b72 type Cand a = [(Language.Fixpoint.Types.Refinements.Expr, a)] a8a779c6765ded00686a54fc6b58a635 data Cube = Cube {cuBinds :: Language.Fixpoint.Types.Environments.IBindEnv, cuSubst :: Language.Fixpoint.Types.Refinements.Subst, cuId :: Language.Fixpoint.Types.Constraints.SubcId, cuTag :: Language.Fixpoint.Types.Constraints.Tag} a67be1c40186f5e1f80211f30edc5320 data EQual = EQL {_eqQual :: !Language.Fixpoint.Types.Constraints.Qualifier, eqPred :: !Language.Fixpoint.Types.Refinements.Expr, _eqArgs :: ![Language.Fixpoint.Types.Refinements.Expr]} a67be1c40186f5e1f80211f30edc5320 newtype GBind = GB [[Language.Fixpoint.Types.Solutions.EQual]] 3019b7a5841733b05bdeb101ce7e6ff4 type GSolution = Language.Fixpoint.Types.Solutions.Sol (((Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort), Language.Fixpoint.Types.Refinements.Expr), Language.Fixpoint.Types.Solutions.GBind) Language.Fixpoint.Types.Solutions.QBind 4eee344ceb75dd78059a112aa13bb4ae type Hyp = Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Solutions.Cube 768f94d02fac5117ea3ec4139fb02816 data Index = FastIdx {bindExpr :: !Language.Fixpoint.Types.Environments.BindId Language.Fixpoint.Misc.|-> Language.Fixpoint.Types.Solutions.BindPred, kvUse :: !Language.Fixpoint.Types.Solutions.KIndex Language.Fixpoint.Misc.|-> Language.Fixpoint.Types.Refinements.KVSub, kvDef :: !Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Misc.|-> Language.Fixpoint.Types.Solutions.Hyp, envBinds :: !Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Types.Environments.IBindEnv, envTx :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId], envSorts :: !Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort} 7c9d507cf7d769a0a02a4db9195caff9 data KIndex = KIndex {kiBIndex :: !Language.Fixpoint.Types.Environments.BindId, kiPos :: !GHC.Types.Int, kiKVar :: !Language.Fixpoint.Types.Refinements.KVar} a67be1c40186f5e1f80211f30edc5320 newtype QBind = QB [Language.Fixpoint.Types.Solutions.EQual] afe5854d500d32518a0d3eaeeba84306 axiom Rep_BIndex:: GHC.Generics.Rep Language.Fixpoint.Types.Solutions.BIndex = GHC.Generics.D1 ('GHC.Generics.MetaData "BIndex" "Language.Fixpoint.Types.Solutions" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Root" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Bind" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.BindId)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.SubcId)))) a67be1c40186f5e1f80211f30edc5320 axiom Rep_EQual:: GHC.Generics.Rep Language.Fixpoint.Types.Solutions.EQual = GHC.Generics.D1 ('GHC.Generics.MetaData "EQual" "Language.Fixpoint.Types.Solutions" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "EQL" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "_eqQual") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Qualifier) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "eqPred") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "_eqArgs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Refinements.Expr])))) a67be1c40186f5e1f80211f30edc5320 axiom Rep_GBind:: GHC.Generics.Rep Language.Fixpoint.Types.Solutions.GBind = GHC.Generics.D1 ('GHC.Generics.MetaData "GBind" "Language.Fixpoint.Types.Solutions" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "GB" '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 [[Language.Fixpoint.Types.Solutions.EQual]]))) 7c9d507cf7d769a0a02a4db9195caff9 axiom Rep_KIndex:: GHC.Generics.Rep Language.Fixpoint.Types.Solutions.KIndex = GHC.Generics.D1 ('GHC.Generics.MetaData "KIndex" "Language.Fixpoint.Types.Solutions" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "KIndex" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "kiBIndex") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.BindId) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "kiPos") '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 "kiKVar") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar)))) a67be1c40186f5e1f80211f30edc5320 axiom Rep_QBind:: GHC.Generics.Rep Language.Fixpoint.Types.Solutions.QBind = GHC.Generics.D1 ('GHC.Generics.MetaData "QBind" "Language.Fixpoint.Types.Solutions" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "QB" '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 [Language.Fixpoint.Types.Solutions.EQual]))) df910f3267790c4db885d7a53ee0f365 data Sol b a = Sol {sEnv :: !Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort, sMap :: !Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar a, gMap :: !Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar b, sHyp :: !Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Solutions.Hyp, sScp :: !Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Environments.IBindEnv} f07b311c7498e2ee604be238f27f48bc type Solution = Language.Fixpoint.Types.Solutions.Sol () Language.Fixpoint.Types.Solutions.QBind 5aa3197a25b81ea3e1d523221eaf2535 _eqArgs :: Language.Fixpoint.Types.Solutions.EQual -> [Language.Fixpoint.Types.Refinements.Expr] RecSel Left Language.Fixpoint.Types.Solutions.EQual b0dea9907a46e11e403bf6bb50690156 _eqQual :: Language.Fixpoint.Types.Solutions.EQual -> Language.Fixpoint.Types.Constraints.Qualifier RecSel Left Language.Fixpoint.Types.Solutions.EQual 7b3bcff9d6c412a5a5318c059e5b2b39 bindExpr :: Language.Fixpoint.Types.Solutions.Index -> Language.Fixpoint.Types.Environments.BindId Language.Fixpoint.Misc.|-> Language.Fixpoint.Types.Solutions.BindPred RecSel Left Language.Fixpoint.Types.Solutions.Index 108df1a82c04c2e3641948077cd7e133 bpConc :: Language.Fixpoint.Types.Solutions.BindPred -> Language.Fixpoint.Types.Refinements.Pred RecSel Left Language.Fixpoint.Types.Solutions.BindPred 6aa36be59df0e789a5a94ba8c3089e93 bpKVar :: Language.Fixpoint.Types.Solutions.BindPred -> [Language.Fixpoint.Types.Solutions.KIndex] RecSel Left Language.Fixpoint.Types.Solutions.BindPred e2dfb1d89224c6a90d64a2083f5783d2 cuBinds :: Language.Fixpoint.Types.Solutions.Cube -> Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Types.Solutions.Cube 7c003c5d87defafbf9d2f214c125b8bb cuId :: Language.Fixpoint.Types.Solutions.Cube -> Language.Fixpoint.Types.Constraints.SubcId RecSel Left Language.Fixpoint.Types.Solutions.Cube 8fc3d3a702befdcc138ecbf551f3c0f8 cuSubst :: Language.Fixpoint.Types.Solutions.Cube -> Language.Fixpoint.Types.Refinements.Subst RecSel Left Language.Fixpoint.Types.Solutions.Cube b91a8833fdcbc7a3dbec4f08d9599be9 cuTag :: Language.Fixpoint.Types.Solutions.Cube -> Language.Fixpoint.Types.Constraints.Tag RecSel Left Language.Fixpoint.Types.Solutions.Cube a0ed8352ff211d7accc81178e0c9e6d1 eQual :: Language.Fixpoint.Types.Constraints.Qualifier -> [Language.Fixpoint.Types.Names.Symbol] -> Language.Fixpoint.Types.Solutions.EQual 41b7d52e9cf553dd49d8700ed8a9454b emptyGMap :: Language.Fixpoint.Types.Solutions.GSolution -> Language.Fixpoint.Types.Solutions.GSolution 30331befbb80e6f4e020a05ffced5eb0 envBinds :: Language.Fixpoint.Types.Solutions.Index -> Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Types.Solutions.Index eae6027d930ae684a3abe0385801e824 envSorts :: Language.Fixpoint.Types.Solutions.Index -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Solutions.Index c1620cd09cc9cdef17960405863950fc envTx :: Language.Fixpoint.Types.Solutions.Index -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Types.Solutions.Index 34ac7d8721eda0c56f43fce6313d0c5b eqPred :: Language.Fixpoint.Types.Solutions.EQual -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Solutions.EQual 457f27c5c3d88d34bd3af871864db7b8 equalsGb :: [[Language.Fixpoint.Types.Solutions.EQual]] -> Language.Fixpoint.Types.Solutions.GBind 34ea46f8d2e8bfaff0beecb30c8e1d5d fromList :: Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort -> [(Language.Fixpoint.Types.Refinements.KVar, a)] -> [(Language.Fixpoint.Types.Refinements.KVar, b)] -> [(Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Solutions.Hyp)] -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Solutions.Sol a b 1bcf4c841e5c5c4e85b4ddde14005add gMap :: Language.Fixpoint.Types.Solutions.Sol b a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar b RecSel Left Language.Fixpoint.Types.Solutions.Sol e96fc132e41eaaa639dc6509447de339 gbEquals :: Language.Fixpoint.Types.Solutions.GBind -> [[Language.Fixpoint.Types.Solutions.EQual]] 30f6f7d33464365d1a640c9026f2c4e0 gbFilterM :: GHC.Base.Monad m => ([Language.Fixpoint.Types.Solutions.EQual] -> m GHC.Types.Bool) -> Language.Fixpoint.Types.Solutions.GBind -> m Language.Fixpoint.Types.Solutions.GBind 1f91bfb77f7503d4a2e5eac4566fe966 gbToQbs :: Language.Fixpoint.Types.Solutions.GBind -> [Language.Fixpoint.Types.Solutions.QBind] 2e027423cb9b66034f9adaf820f27bf0 glookup :: Language.Fixpoint.Types.Solutions.GSolution -> Language.Fixpoint.Types.Refinements.KVar -> Data.Either.Either Language.Fixpoint.Types.Solutions.Hyp (Data.Either.Either Language.Fixpoint.Types.Solutions.QBind (((Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort), Language.Fixpoint.Types.Refinements.Expr), Language.Fixpoint.Types.Solutions.GBind)) af8f114e22b566f2ed9d01b3f36c2800 kiBIndex :: Language.Fixpoint.Types.Solutions.KIndex -> Language.Fixpoint.Types.Environments.BindId RecSel Left Language.Fixpoint.Types.Solutions.KIndex 463858a620f3f805a57d1d49f7db9f8b kiKVar :: Language.Fixpoint.Types.Solutions.KIndex -> Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Types.Solutions.KIndex 0cb84690d8b32d127613e47e8593ca31 kiPos :: Language.Fixpoint.Types.Solutions.KIndex -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Solutions.KIndex 1900a0b7fb855bffc5c951322d92e8db kvDef :: Language.Fixpoint.Types.Solutions.Index -> Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Misc.|-> Language.Fixpoint.Types.Solutions.Hyp RecSel Left Language.Fixpoint.Types.Solutions.Index fbca67269b527f5b3acbee0e907ac327 kvUse :: Language.Fixpoint.Types.Solutions.Index -> Language.Fixpoint.Types.Solutions.KIndex Language.Fixpoint.Misc.|-> Language.Fixpoint.Types.Refinements.KVSub RecSel Left Language.Fixpoint.Types.Solutions.Index e0a28d47c7cf3ecf03afc0939bc6b6ca lookup :: Language.Fixpoint.Types.Solutions.Sol a Language.Fixpoint.Types.Solutions.QBind -> Language.Fixpoint.Types.Refinements.KVar -> Data.Either.Either Language.Fixpoint.Types.Solutions.Hyp Language.Fixpoint.Types.Solutions.QBind 4de4892965b7885afd352db5ecf94993 lookupQBind :: Language.Fixpoint.Types.Solutions.Sol a Language.Fixpoint.Types.Solutions.QBind -> Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Solutions.QBind abd7989358f945c0937b89ead3c5f0c1 qb :: [Language.Fixpoint.Types.Solutions.EQual] -> Language.Fixpoint.Types.Solutions.QBind 6809116e0aad8c36df876831ab11d60f qbExprs :: Language.Fixpoint.Types.Solutions.QBind -> [Language.Fixpoint.Types.Refinements.Expr] 87ace9f0642cc39b1247341601729fe3 qbFilter :: (Language.Fixpoint.Types.Solutions.EQual -> GHC.Types.Bool) -> Language.Fixpoint.Types.Solutions.QBind -> Language.Fixpoint.Types.Solutions.QBind c7fa09b9fcaace613779fe6486d00daf qbPreds :: GHC.Base.String -> Language.Fixpoint.Types.Solutions.Sol a Language.Fixpoint.Types.Solutions.QBind -> Language.Fixpoint.Types.Refinements.Subst -> Language.Fixpoint.Types.Solutions.QBind -> [(Language.Fixpoint.Types.Refinements.Pred, Language.Fixpoint.Types.Solutions.EQual)] f01feccb253a37345c9700f2fcd4e903 qbToGb :: Language.Fixpoint.Types.Solutions.QBind -> Language.Fixpoint.Types.Solutions.GBind d5a43a3fb0fd0dd6548bb7ae4d000ecd result :: Language.Fixpoint.Types.Solutions.Sol a Language.Fixpoint.Types.Solutions.QBind -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Refinements.Expr 0e7381a075ce8d70a7644abebd833a29 resultGradual :: Language.Fixpoint.Types.Solutions.GSolution -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Refinements.Expr, [Language.Fixpoint.Types.Refinements.Expr]) c939bf1b2f4213b839971dc50f627d65 sEnv :: Language.Fixpoint.Types.Solutions.Sol b a -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Solutions.Sol af7a48281c10b5d8dd45aa015f37815a sHyp :: Language.Fixpoint.Types.Solutions.Sol b a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Solutions.Hyp RecSel Left Language.Fixpoint.Types.Solutions.Sol 2389236d569c86b2135114728278f975 sMap :: Language.Fixpoint.Types.Solutions.Sol b a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar a RecSel Left Language.Fixpoint.Types.Solutions.Sol 09c2443c96cfd19a47fe09ec450b818f sScp :: Language.Fixpoint.Types.Solutions.Sol b a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Types.Solutions.Sol d4c7c2322576cb0134f4d69339ed640d trueEqual :: Language.Fixpoint.Types.Solutions.EQual b24f9898e11e3be17c1587607c659ea0 update :: Language.Fixpoint.Types.Solutions.Sol a Language.Fixpoint.Types.Solutions.QBind -> [Language.Fixpoint.Types.Refinements.KVar] -> [(Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Solutions.EQual)] -> (GHC.Types.Bool, Language.Fixpoint.Types.Solutions.Sol a Language.Fixpoint.Types.Solutions.QBind) e7ef56459372a43b9180603e18d97e31 updateGMap :: Language.Fixpoint.Types.Solutions.Sol b a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar b -> Language.Fixpoint.Types.Solutions.Sol b a 64ffd5134600bcc5f25a5e37b906d483 updateGMapWithKey :: [(Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Solutions.QBind)] -> Language.Fixpoint.Types.Solutions.GSolution -> Language.Fixpoint.Types.Solutions.GSolution instance Data.Data.Data [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.$fDataEQual instance Data.Data.Data [Language.Fixpoint.Types.Solutions.GBind] = Language.Fixpoint.Types.Solutions.$fDataGBind instance Data.Data.Data [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.$fDataQBind instance GHC.Classes.Eq [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.$fEqBIndex instance GHC.Classes.Eq [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.$fEqEQual instance GHC.Classes.Eq [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.$fEqKIndex instance GHC.Classes.Eq [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.$fEqQBind instance GHC.Base.Functor [Language.Fixpoint.Types.Solutions.Sol] = Language.Fixpoint.Types.Solutions.$fFunctorSol instance GHC.Generics.Generic [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.$fGenericBIndex instance GHC.Generics.Generic [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.$fGenericEQual instance GHC.Generics.Generic [Language.Fixpoint.Types.Solutions.GBind] = Language.Fixpoint.Types.Solutions.$fGenericGBind instance GHC.Generics.Generic [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.$fGenericKIndex instance GHC.Generics.Generic [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.$fGenericQBind instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.$fHashableBIndex instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.$fHashableKIndex instance GHC.Base.Monoid [Language.Fixpoint.Types.Solutions.Sol] = Language.Fixpoint.Types.Solutions.$fMonoidSol instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.$fNFDataEQual instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Solutions.GBind] = Language.Fixpoint.Types.Solutions.$fNFDataGBind instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.$fNFDataQBind instance GHC.Classes.Ord [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.$fOrdBIndex instance GHC.Classes.Ord [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.$fOrdKIndex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.$fPPrintBIndex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.BindPred] = Language.Fixpoint.Types.Solutions.$fPPrintBindPred instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.Cube] = Language.Fixpoint.Types.Solutions.$fPPrintCube instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.$fPPrintEQual instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.$fPPrintKIndex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.$fPPrintQBind instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Solutions.Sol] = Language.Fixpoint.Types.Solutions.$fPPrintSol instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.$fShowBIndex instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.BindPred] = Language.Fixpoint.Types.Solutions.$fShowBindPred instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.Cube] = Language.Fixpoint.Types.Solutions.$fShowCube instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.$fShowEQual instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.GBind] = Language.Fixpoint.Types.Solutions.$fShowGBind instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.$fShowKIndex instance GHC.Show.Show [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.$fShowQBind family instance GHC.Generics.Rep [Language.Fixpoint.Types.Solutions.BIndex] = Language.Fixpoint.Types.Solutions.Rep_BIndex family instance GHC.Generics.Rep [Language.Fixpoint.Types.Solutions.KIndex] = Language.Fixpoint.Types.Solutions.Rep_KIndex family instance GHC.Generics.Rep [Language.Fixpoint.Types.Solutions.QBind] = Language.Fixpoint.Types.Solutions.Rep_QBind family instance GHC.Generics.Rep [Language.Fixpoint.Types.Solutions.GBind] = Language.Fixpoint.Types.Solutions.Rep_GBind family instance GHC.Generics.Rep [Language.Fixpoint.Types.Solutions.EQual] = Language.Fixpoint.Types.Solutions.Rep_EQual vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False