==================== FINAL INTERFACE ==================== 2017-05-08 17:11:21.500626 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.Solution 8002 interface hash: e4b17dbf80d21f68753f25dd9c88296d ABI hash: 64d630f0bfb2bff3fad7b0243b6ec3ee export-list hash: 93a2cd777f6d6f0c77311671b7de5763 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 78cd328a171b472710772d4788468481 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.Solution.init Language.Fixpoint.Solver.Solution.lhsPred Language.Fixpoint.Types.Solutions.update module dependencies: Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types Language.Fixpoint.Misc Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.Solver.Sanitize 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.Solutions 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 fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz 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 parallel-3.2.1.1@parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx 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 fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Types 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.Solutions 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.Arrow 70754b538e7d75521cd68162917b6946 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.Monoid 51cc9cd8c130d49ba96b7c2c2406022b import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Err 3bba35a16538d33d424682ce66876cdd 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 -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b fst3 c2fb078f91ea47d89f334b40271f00d5 groupList a38f3ffef5c093f815d9eacf9823aaec safeLookup 83a26670063b15f3c02c66aa1d8bb8da snd3 04376486690d5f5078e95019210506a0 sortNub 84a7619417d4bda4412d2f78a0fc0398 import -/ Language.Fixpoint.Smt.Theories 09d459cfc18ae227bdf17bc6076761e6 exports: 6574c1f54c168acf403744fefc2973e2 toInt 45504e080038d470d9f91532ec46f1f6 import -/ Language.Fixpoint.Solver.Sanitize ff19a94c7792aae49f20f609ba480654 exports: 413c872f3f39b8d2fc50665da15a3129 symbolEnv 91257bce47799fc9438964e3400bca8b import -/ Language.Fixpoint.SortCheck 04ab21222148af2d124cde0e043ef924 exports: e64dfad7b499c2aab7e3652ca9b527d5 Env f52f14e6c504c2fa1f1bfbb7493623fd TVSubst de72420ee7bad99ec24171f7bde3e91e apply ed8e4c0a2e89bce96c53dd9beff4962c checkSortExpr 60378f3fde1698788b48e08c6c095851 checkSorted beff8a47fa189df85ae7ff96af9a5d11 elaborate c460ee1435aadde133433f0933f18b6c isMono 76be13b17e4f50ce09f8d59023d24601 unifyFast 30378a0782486731d5772a2bc7e3dc64 import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df exports: 26252365e1684d225d5392dd42c93881 Config a1e0868924a10a6ced01485926d4ec1f import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba exports: cbcd64f03f446da62e56a956dfca1375 Qualifier e9487053c6bce40dd84cd1ee9e0af940 SInfo c4bf42c4a9b32550baf9a82ec918fc53 SimpC ab7e97d469950e731d9d2580ab8541ef Tag c0a373bad87a0eab9cc446e29001a4da WfC 17c7f6e4d74d3b539dca7c3556bc9f4f allowHOquals a27cff3579be0bfa3d6eafe6d7d5fe49 bs d61bc046b917adffb7499296cdd6f706 gLits 34f167f6faeca9302af46eb8206147c8 isGWfc 1171ff5984d93d7d38bea85f9056aca2 qParams 5b9bff6c99da1814f337e370702c3a17 quals c861732529ff030d0dc41d7faa234fc6 senv 160d900354e746714fa262d20fcb4793 sid 472cbfd17764049f009a1fcf6d3416f9 wenv 33a9fbd5d0ed8c2940233f2b555706e7 wrft d83900b61f262b29c1f6a26d0573c4bf ws fef3eea7365ecfd2111de5aae1af543e import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e IBindEnv cb3149cea0637142c180ee8c5b609e12 SEnv 6b7a0813b490d3c69166a159d2c90bbe SolEnv b22ca5d85c77eb9cc63ef625fe87597a diffIBindEnv 42f4100acf1b67794a80cc1af16f73a6 elemsIBindEnv b36a4dfe9459424486b2e816e214bf76 envCs d824493befb6e452116039d06daf2b35 fromListSEnv 092c4e2ef40e54493539888ea1496f8c insertSEnv b1fcadbf886d1d01b17810eae18f2236 lookupBindEnv b14112e4f970f3f7f409de20a2723561 lookupSEnv e2e97f275a8757619e9e698048991f5e lookupSEnvWithDistance f97b260aea50f3257c342ec4bc467cc2 soeBinds ce236b1289620f6216284c24b6471fa1 toListSEnv 58f5a6520b0cb61eff5c50b9aa934010 unionIBindEnv c0b209cbc0ec2c282be018249bc37ae9 import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 Symbol 107cf7489707dd0de1ccae6d6e42b2ab isLitSymbol bba5ca738d1ecab6397a9ddbbfc8db26 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 notracepp 76dfcf35001c48dc68c544d8970117c9 showpp 6c7acfad3292f20adf3bdca6d5c2204a import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 &.& 5b1585e81e684b959030cfae77a2df08 EEq 0da0d0614c67bc3980490eff1859ba94 Expr bb73da387a50fe3797caa66eb4fb9c35 KVSub b0d1875bd1ab6a341b44ec5dcca0ce9d KVar 68dcac5ad144e4854dc35cff62d456d0 Pred fe5223e2cb94480b33571a9d6cda79d5 RR 0a874a8408748c051c510af8e624ba5d Reft f5a891a2ea821362b40d468df43305ef Su acd90d7a0f67b8cd18a69ccfa56c5243 Subst bb73da387a50fe3797caa66eb4fb9c35 expr 9640da7d5f0616e1993594aaee76baab ksuKVar ddd5ef3bca465984486799070b5a943a ksuSort d4a4481f7f9b1c00c57d1dfdb05fe9f1 ksuSubst 2b94d487fa69c1480c4b2138dcc5d374 ksuVV 14c3f82f4753dd88e5b7ecda5bd2463a pAnd 8eafe07d5b6d6c31808f02c13e22e044 pExist 0fa74bd5451980966ff6383e2d386b92 pOr c2d7e8de2f21c02b25b80dd7abeadf75 sr_sort 041bed6b6ff182798e8b8b2890b23c64 syms 3959efd3a483c9eaea7b62fe89b99ca8 import -/ Language.Fixpoint.Types.Solutions 01540e295b430bf658940ab1fd78ff64 exports: 1fdea0e2933fdfe32b43475d52dc3d11 Cube a8a779c6765ded00686a54fc6b58a635 EQual a67be1c40186f5e1f80211f30edc5320 Hyp 4eee344ceb75dd78059a112aa13bb4ae QBind a67be1c40186f5e1f80211f30edc5320 Sol df910f3267790c4db885d7a53ee0f365 Solution f07b311c7498e2ee604be238f27f48bc cuBinds e2dfb1d89224c6a90d64a2083f5783d2 cuSubst 8fc3d3a702befdcc138ecbf551f3c0f8 cuTag b91a8833fdcbc7a3dbec4f08d9599be9 eQual a0ed8352ff211d7accc81178e0c9e6d1 eqPred 34ac7d8721eda0c56f43fce6313d0c5b fromList 34ea46f8d2e8bfaff0beecb30c8e1d5d lookup e0a28d47c7cf3ecf03afc0939bc6b6ca qb abd7989358f945c0937b89ead3c5f0c1 qbFilter 87ace9f0642cc39b1247341601729fe3 qbPreds c7fa09b9fcaace613779fe6486d00daf sEnv c939bf1b2f4213b839971dc50f627d65 sScp 09c2443c96cfd19a47fe09ec450b818f update b24f9898e11e3be17c1587607c659ea0 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da FFrac 1d366d6c99ee61a176d026427738ef15 FNum 68ca110aac9d4237b722b9c00b9e0b38 Sort f220e315b91d89c678725efa47bd0097 functionSort c906532765f92a1449b6d8d1dca84c47 import -/ Language.Fixpoint.Types.Utils 181db872854012ee16c287a57782a1d9 sortedReftConcKVars c600f2a56c9f53ccda87d3481c87c20b import -/ Language.Fixpoint.Types.Visitor 562b326437be6bf1306273f048769e9c exports: af05a96a471de9ae7bb1b445015e81c2 kvars 21dd1dcffea29da47c8464923a702358 import -/ parallel-3.2.1.1@parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx:Control.Parallel.Strategies ffa4d4b96dba666866c04e5ec97b9754 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 3d3a0f5fc256ed4f0eff3db700b0d51b $fEqKInfo :: GHC.Classes.Eq Language.Fixpoint.Solver.Solution.KInfo DFunId 3d3a0f5fc256ed4f0eff3db700b0d51b $fMonoidKInfo :: GHC.Base.Monoid Language.Fixpoint.Solver.Solution.KInfo DFunId 3d3a0f5fc256ed4f0eff3db700b0d51b $fOrdKInfo :: GHC.Classes.Ord Language.Fixpoint.Solver.Solution.KInfo DFunId 3d3a0f5fc256ed4f0eff3db700b0d51b $fShowKInfo :: GHC.Show.Show Language.Fixpoint.Solver.Solution.KInfo DFunId 2d9cf44dba4c081988eae4142141d791 $tc'KI :: GHC.Types.TyCon 5d0ec41dd7d4d408105b5fbddf6d9452 $tcKInfo :: GHC.Types.TyCon 543f39f12e700c8c719523d541374144 $trModule :: GHC.Types.Module c51b68baa2b4fea69c2d12e432bf7ca0 type Binders = [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] ca58e649df9d65ae8c43f9948bb630f3 type Cid = GHC.Base.Maybe GHC.Integer.Type.Integer 167f289a85a1693b62f4072f8b184d15 type CombinedEnv = (Language.Fixpoint.Solver.Solution.Cid, Language.Fixpoint.Types.Environments.SolEnv, Language.Fixpoint.Types.Environments.IBindEnv) 8c363d1cc2538f165915c4b6c9e7c53f type ExprInfo = (Language.Fixpoint.Types.Refinements.Expr, Language.Fixpoint.Solver.Solution.KInfo) 3d3a0f5fc256ed4f0eff3db700b0d51b data KInfo = KI {kiTags :: [Language.Fixpoint.Types.Constraints.Tag], kiDepth :: !GHC.Types.Int, kiCubes :: !GHC.Integer.Type.Integer} ca4aa9d29f8c27cf26c73288a322ba7f init :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Solutions.Solution 25f96bf6f7632fe7935a2829e6b1791b kiCubes :: Language.Fixpoint.Solver.Solution.KInfo -> GHC.Integer.Type.Integer RecSel Left Language.Fixpoint.Solver.Solution.KInfo 314c3edcbad6a371fba3ebcbed3c1da8 kiDepth :: Language.Fixpoint.Solver.Solution.KInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Solution.KInfo 339cbfbc7d9d695105544ccee456f22d kiTags :: Language.Fixpoint.Solver.Solution.KInfo -> [Language.Fixpoint.Types.Constraints.Tag] RecSel Left Language.Fixpoint.Solver.Solution.KInfo a642e1f2b18f6e863ae3d2739714a1b0 lhsPred :: Language.Fixpoint.Types.Environments.SolEnv -> Language.Fixpoint.Types.Solutions.Solution -> Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Types.Refinements.Expr instance GHC.Classes.Eq [Language.Fixpoint.Solver.Solution.KInfo] = Language.Fixpoint.Solver.Solution.$fEqKInfo instance GHC.Base.Monoid [Language.Fixpoint.Solver.Solution.KInfo] = Language.Fixpoint.Solver.Solution.$fMonoidKInfo instance GHC.Classes.Ord [Language.Fixpoint.Solver.Solution.KInfo] = Language.Fixpoint.Solver.Solution.$fOrdKInfo instance GHC.Show.Show [Language.Fixpoint.Solver.Solution.KInfo] = Language.Fixpoint.Solver.Solution.$fShowKInfo vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False