==================== FINAL INTERFACE ==================== 2019-09-22 14:52:51.988716 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.Solution 8065 interface hash: b6c1bce7d38c6ef4b10c1d369161a9e0 ABI hash: fa705903decf584a424f324cbe91dc12 export-list hash: 2adbf922e26b8e1ae0e5f30b6d0d961e orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 0221a5bcdff4b9b2a0c3ac633c4f4269 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 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.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 double-conversion-2.0.2.0 fgl-5.7.0.1 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 mtl-2.2.2 parallel-3.2.2.0 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: transformers-0.5.6.2:Control.Monad.Trans.Error liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Control.Arrow cda881e865dd3141fb08ed18f2efcca7 import -/ base-4.12.0.0:Data.Either 423bee738f25e5ee983d072216009be8 import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Err ea5e313ef4146b40b5d8b27aa168e736 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:Text.Printf d9e1f32eb8aa55bafa1cf4360210b275 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e groupList 89ce0af3d82aae7a2d9f3f3c1cde0d05 safeLookup de93685c8ce33b5619842061a589410f sortNub 7d73d874da71f31bd97dc544f8572fc4 import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 symbolEnv e9ab0691e8ecbe0102273ed657a09d59 import -/ Language.Fixpoint.SortCheck f7b7dc40080c3027ffc5d238db179224 exports: fef1457ed33a6a1cb5bc6a8b38a1edff Env 474fd3daf7773a1200325c50db04e9e8 TVSubst a106b014cd7a377f85eca8a71f0c1edd apply 8adcb6a62b22c433eda83ce38c107b2c checkSortExpr 693f7ca7884ad7e01b3bcd8a62d41e1e checkSorted 226ef447000bf1571f3b314469968dc6 elaborate 5809c5e4abf9d4e8230e50ea3a386a0e isMono 974554777c998acc33c611a055a9ef31 toInt b7c9d07ae16801d9ef846670988e98c9 unifyFast 125054d2af6df4296d7b2ff26745e814 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 exports: 12c9708cdb7cc8f94e739104f060796e PatExact 4997cde712f8b3b006e6d14dfc07eec6 PatNone 25106c4b55ee4d12827f60ed4dc88939 PatPrefix 2431df8abc1f8f326cf5585efe0fe441 PatSuffix dbda5dcb30797388be311802bcc1eae7 QualParam 9aae2bcc537b45559d03a4eee2bb72e5 QualPattern df6d07f9885eb5e5b345a33c505d8e73 Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 SInfo 90ef96c47f269969affd7c3639af34f3 SimpC 03dcffeea2a5199db7c9ff0154825bc0 SubcId 311c8f398e2d0f5e23e664bacb45f905 Tag f16c6ce3b8b49003401603dfb3b1715f WfC ad7a627c031dc594c719d4e423bdd067 allowHOquals 2d72f2746bc8b5decaea3d152b78ce26 bs 90ef96c47f269969affd7c3639af34f3 cbind 03dcffeea2a5199db7c9ff0154825bc0 cm 90ef96c47f269969affd7c3639af34f3 crhs 9701eec311803b00e8ff03aadeb150fa ebinds 90ef96c47f269969affd7c3639af34f3 gLits 90ef96c47f269969affd7c3639af34f3 isGWfc 4c70cb60ff73f441d356b3d67861f82f qName 9aae2bcc537b45559d03a4eee2bb72e5 qParams 9aae2bcc537b45559d03a4eee2bb72e5 qpPat 9aae2bcc537b45559d03a4eee2bb72e5 qpSort 9aae2bcc537b45559d03a4eee2bb72e5 quals 90ef96c47f269969affd7c3639af34f3 senv b5a22d3808334133ad38d92f07d130ac sid 81d85f14cb0bc67b2e1fd5d3402d56d8 stag 99b38d7c44906da122f4e3e424da4733 wenv ad7a627c031dc594c719d4e423bdd067 wrft ad7a627c031dc594c719d4e423bdd067 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 BindId c1dc08df6d648ef575cab1d33fc5df7b IBindEnv b71d4c279d7a7920d70dd44bac0305aa SEnv 7b76b1b3898bd64fc8c2187c261c0f80 bindEnvToList 4e95582ccd56c9ddcde8c24e66fac2b3 diffIBindEnv b96940094e63827617b026d5632e9b40 elemsIBindEnv cff28cd92ba002848a1acbf3edb359d8 envCs e423fff58f01e321ca4ef94ca8a41936 fromListSEnv 22654f2135f1b607f7ee82962c09eb4c insertSEnv 4288c53866870f2766a71eff8924b8fb lookupBindEnv d43e50ddb41c32b57594f5f31bf34671 lookupSEnv 94599d47b6378649795b045198f42e89 lookupSEnvWithDistance f94357819b257ff74f5b6c3800c04b59 memberIBindEnv 042d686ac1046dc546144657885262c4 toListSEnv ddd97c9c472b637e00dcfff9c958a991 unionIBindEnv d6e374c110095a69fc96506c80b54d5a import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 isLitSymbol 25094086814fd8fb3cd404fe6ffd3f18 mappendSym 3366fcd7388280a1a7bf6a72dd29d365 stripPrefix 8f72f666a976185328c7102b57f92add stripSuffix 905c930fc8a580b762d5c01e09f57351 tidySymbol 13924b25c17672ff990eafc746ecd68a import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 notracepp 5a793f230115fb21796571cbf9bfbf52 showpp a9f79fc9a75f72593341c16b4b8ac492 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc &.& 6181b4490e3595389de710d3949e91b1 EEq b022fbb5d44329cad435c5cf3295d97c EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 KVSub d1b959feb3e6e165694f06ccc1e60f00 KVar f4ebd74e51621c4f10e9fc003e3885a9 PAnd 668269c725f0f517f2cefead144acbec PFalse e43985c1fbf5446eb7e361fefcd63600 Pred 551c7d373a23dab3c0a93d27c12c8930 RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 SortedReft 58dd7eff6040aa97f060415235c6cb01 Su c7f0aa4f362b23d4096b7fbf274dffd0 Subst 58dd7eff6040aa97f060415235c6cb01 expr bb69a3829a24dac6732a3d85fdbf277f isSingletonExpr a1b424e07674d0e6b4b00ddc71c855b3 ksuKVar d1b959feb3e6e165694f06ccc1e60f00 ksuSort d1b959feb3e6e165694f06ccc1e60f00 ksuSubst d1b959feb3e6e165694f06ccc1e60f00 ksuVV d1b959feb3e6e165694f06ccc1e60f00 pAnd d997a1bd3b1f67d4020526858eca07c4 pExist 6a564808743029b550fac42026ffd243 pOr 8a1e1f795b62005d448717b57d964c5f sr_reft 58dd7eff6040aa97f060415235c6cb01 sr_sort 58dd7eff6040aa97f060415235c6cb01 syms cedb5518769db9d49f4ce507184c5e1f import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 exports: afa649b912ca2c885ac627d761c55201 Cube 7e54038e4321923be0c504747fce3360 EQual a143c3dc8e88328902f82f3430d31b51 EbDef d1e6f8c8bc0bcb99dc497caaa55c25c9 EbIncr 19455958d4e6c8bc29512e8491b8f79b EbSol 51175449a09c83481b29416713dd7e6a EbindSol 3ca9aaf0ff38db8fa1c00de0c3556fd4 Hyp 7e54038e4321923be0c504747fce3360 QBind a143c3dc8e88328902f82f3430d31b51 Sol 7e54038e4321923be0c504747fce3360 Solution bf7448c05104a6b95cc2daadfd2c3c7b cuBinds 7e54038e4321923be0c504747fce3360 cuSubst 7e54038e4321923be0c504747fce3360 cuTag 7e54038e4321923be0c504747fce3360 eQual e5bcf7cab41a61c218805512fb734b78 eqPred a143c3dc8e88328902f82f3430d31b51 fromList d97c3221440644342c069f390188e702 lookup 69f98716188c9c8031c0a438c6f3b88c qb 77ec72e84995f5e3c84562e1361f5d30 qbFilter f30befa0e360f31f8380452b5ced64c8 qbPreds 6c19e0e0bc0710d142392ff4a5201c3f sEbd 7e54038e4321923be0c504747fce3360 sEnv 7e54038e4321923be0c504747fce3360 sScp 7e54038e4321923be0c504747fce3360 sxEnv 7e54038e4321923be0c504747fce3360 update 196c52f8bdac2de089ae14810a8ac00d import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 FFrac 5a0487509a1a29dda536079b1750147a FNum 5b5ac191d5fc722937c5d2a123c4a98c Sort 30d6fd7d99459ff88296e3b55c87b46c functionSort f594877f5448823b341deb917c8c3252 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 Loc 4962bb0bc274d9001b974c3326b63480 SrcSpan 30cdf4122b891cc575df90039bdcbecb atLoc 1d33f99909507b18efe9f42abbbb5952 srcSpan 2b3eb671678320980d11df21e110f501 import -/ Language.Fixpoint.Types.Theories 2d31db6b0cdc7b0f2231db238b021516 SymEnv 0506688674ca55c28cc4df4c4dbdb2df seSort 0506688674ca55c28cc4df4c4dbdb2df import -/ Language.Fixpoint.Types.Utils c4558c8f9797d9736e70827b8d56a1d3 sortedReftConcKVars acb146290271390388026ab060798d93 import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 kvars c0e50d3c638d80582ef2ff4559ccde96 stripCasts 2e0061e71ddda5abcf68bb484630ae3e import -/ parallel-3.2.2.0:Control.Parallel.Strategies 6a045ce81bdbdafd260789c5d129b50d import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 bf0784883e4f66a0ac73e848bdad8e97 $fEqKInfo :: GHC.Classes.Eq Language.Fixpoint.Solver.Solution.KInfo DFunId ed8dcb9c88ea4ead018754b9d2f5eac9 $fLocCombinedEnv :: Language.Fixpoint.Types.Spans.Loc Language.Fixpoint.Solver.Solution.CombinedEnv DFunId bf0784883e4f66a0ac73e848bdad8e97 $fMonoidKInfo :: GHC.Base.Monoid Language.Fixpoint.Solver.Solution.KInfo DFunId bf0784883e4f66a0ac73e848bdad8e97 $fOrdKInfo :: GHC.Classes.Ord Language.Fixpoint.Solver.Solution.KInfo DFunId bf0784883e4f66a0ac73e848bdad8e97 $fSemigroupKInfo :: GHC.Base.Semigroup Language.Fixpoint.Solver.Solution.KInfo DFunId bf0784883e4f66a0ac73e848bdad8e97 $fShowKInfo :: GHC.Show.Show Language.Fixpoint.Solver.Solution.KInfo DFunId 02d11489d4f3e0a5a865f3a0f3a08514 $tc'CEnv :: GHC.Types.TyCon 69a046a27433ea0722c7951d27d00599 $tc'JustSub :: GHC.Types.TyCon 84c622f771760dfba031e72bb13c7959 $tc'KI :: GHC.Types.TyCon f3fec5419f35993741e36011c0436821 $tc'NoSub :: GHC.Types.TyCon 48b6549937f0f634c9f8d95e4b25cb01 $tcCombinedEnv :: GHC.Types.TyCon 4b419927f301df25d898de05e7c78c61 $tcKInfo :: GHC.Types.TyCon e8134ab8873fbba4cfc65a023b68a158 $tcQPSubst :: GHC.Types.TyCon d2e7792bcc784b651d4ec81563a878b9 $trModule :: GHC.Types.Module e5b22ea9720c332be4e71c4e790e3f4d type Binders = [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] 2ead95ff5c8b2101f175f8adf176ce4f type Cid = GHC.Maybe.Maybe GHC.Integer.Type.Integer ed8dcb9c88ea4ead018754b9d2f5eac9 data CombinedEnv = CEnv {ceCid :: !Language.Fixpoint.Solver.Solution.Cid, ceBEnv :: !Language.Fixpoint.Types.Environments.BindEnv, ceIEnv :: !Language.Fixpoint.Types.Environments.IBindEnv, ceSpan :: !Language.Fixpoint.Types.Spans.SrcSpan} e9dc350819b6296ed4ea969c288cfcd3 type ExprInfo = (Language.Fixpoint.Types.Refinements.Expr, Language.Fixpoint.Solver.Solution.KInfo) bf0784883e4f66a0ac73e848bdad8e97 data KInfo = KI {kiTags :: [Language.Fixpoint.Types.Constraints.Tag], kiDepth :: !GHC.Types.Int, kiCubes :: !GHC.Integer.Type.Integer} 63bb5331f9fc7f6182ab1aee22e68750 data QPSubst = NoSub | JustSub GHC.Types.Int Language.Fixpoint.Types.Names.Symbol ed8dcb9c88ea4ead018754b9d2f5eac9 ceBEnv :: Language.Fixpoint.Solver.Solution.CombinedEnv -> Language.Fixpoint.Types.Environments.BindEnv RecSel Left Language.Fixpoint.Solver.Solution.CombinedEnv ed8dcb9c88ea4ead018754b9d2f5eac9 ceCid :: Language.Fixpoint.Solver.Solution.CombinedEnv -> Language.Fixpoint.Solver.Solution.Cid RecSel Left Language.Fixpoint.Solver.Solution.CombinedEnv ed8dcb9c88ea4ead018754b9d2f5eac9 ceIEnv :: Language.Fixpoint.Solver.Solution.CombinedEnv -> Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Solver.Solution.CombinedEnv ed8dcb9c88ea4ead018754b9d2f5eac9 ceSpan :: Language.Fixpoint.Solver.Solution.CombinedEnv -> Language.Fixpoint.Types.Spans.SrcSpan RecSel Left Language.Fixpoint.Solver.Solution.CombinedEnv d91fa3b51cefe347cfac4111ffc93c68 init :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Solutions.Solution bf0784883e4f66a0ac73e848bdad8e97 kiCubes :: Language.Fixpoint.Solver.Solution.KInfo -> GHC.Integer.Type.Integer RecSel Left Language.Fixpoint.Solver.Solution.KInfo bf0784883e4f66a0ac73e848bdad8e97 kiDepth :: Language.Fixpoint.Solver.Solution.KInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Solution.KInfo bf0784883e4f66a0ac73e848bdad8e97 kiTags :: Language.Fixpoint.Solver.Solution.KInfo -> [Language.Fixpoint.Types.Constraints.Tag] RecSel Left Language.Fixpoint.Solver.Solution.KInfo d6c05e31d5998f236f56050551b1e353 lhsPred :: Language.Fixpoint.Types.Spans.Loc a => Language.Fixpoint.Types.Environments.BindEnv -> 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 Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Solver.Solution.CombinedEnv] = Language.Fixpoint.Solver.Solution.$fLocCombinedEnv 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.Base.Semigroup [Language.Fixpoint.Solver.Solution.KInfo] = Language.Fixpoint.Solver.Solution.$fSemigroupKInfo instance GHC.Show.Show [Language.Fixpoint.Solver.Solution.KInfo] = Language.Fixpoint.Solver.Solution.$fShowKInfo trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: