==================== FINAL INTERFACE ==================== 2019-09-22 14:52:54.443498 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.Eliminate 8065 interface hash: a311fb3516783ecdf1ef9061da606096 ABI hash: 4266a8beca0a8b31df2fbb85c1238905 export-list hash: 9f31657091ba220b7c3a3ed90e2d5fca orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 6b011c82d04b3a35d09d8f03f4bc561c opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.Eliminate.solverInfo 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 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:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 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.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Graph 59334fea55dc8d64130719f78eeb5109 exports: 70a8f3bb9be3a7f9430fb829908b4dcf import -/ Language.Fixpoint.Graph.Deps f58fb5bc911772ff16e90c021342fd77 depCuts c993725cef81addc46fa6e960ae18a56 depNonCuts c993725cef81addc46fa6e960ae18a56 elimDeps dc3d3bae02683f6ae264dac8243bec09 elimVars 4be3da868d909f2205fdad0e4d0d5b05 import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3 CEdge 5926a8a79eef96a67d64e7e2de539c49 Cstr fb3e234b3b6ba6293e60b57759fd6db5 KVar c4a8980acc6c70ca8becabae4f5f5f0a SI acae40c3d81f5865f3bafc419a2516f3 SolverInfo 9a73d9e092f73b37b6476ae70547e961 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e errorstar e47c2d482124b43e020a405f809adcff group 89622853601fa33661a1ceef6d1ea621 safeLookup de93685c8ce33b5619842061a589410f import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 symbolEnv e9ab0691e8ecbe0102273ed657a09d59 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 SInfo 90ef96c47f269969affd7c3639af34f3 SimpC 03dcffeea2a5199db7c9ff0154825bc0 bs 90ef96c47f269969affd7c3639af34f3 cm 90ef96c47f269969affd7c3639af34f3 crhs 9701eec311803b00e8ff03aadeb150fa ebinds 90ef96c47f269969affd7c3639af34f3 senv b5a22d3808334133ad38d92f07d130ac stag 99b38d7c44906da122f4e3e424da4733 subcId c5ad3aad4a42726885659f4c083c4240 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 IBindEnv b71d4c279d7a7920d70dd44bac0305aa bindEnvToList 4e95582ccd56c9ddcde8c24e66fac2b3 fromListSEnv 22654f2135f1b607f7ee82962c09eb4c intersectionIBindEnv 825ccfa88a2d78fd8f5dd646d23e905c lookupBindEnv d43e50ddb41c32b57594f5f31bf34671 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc KVar f4ebd74e51621c4f10e9fc003e3885a9 PKVar 00776deded6bdc1a9b45a9cd2ff73aa5 Subst 58dd7eff6040aa97f060415235c6cb01 sr_sort 58dd7eff6040aa97f060415235c6cb01 import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 exports: afa649b912ca2c885ac627d761c55201 Cube dd58f6a710bd9685440d5294ab4b82a4 Cube 7e54038e4321923be0c504747fce3360 Hyp 7e54038e4321923be0c504747fce3360 fromList d97c3221440644342c069f390188e702 import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 isConcC 2f660a3d29daa78cb1b3ea5a2a1db8d7 kvars c0e50d3c638d80582ef2ff4559ccde96 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 045b909e8b5b791ec53158deaca1b5c3 $trModule :: GHC.Types.Module 76d1d9ca206972c55d9d1daf3ea1da13 type KIndex = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [GHC.Integer.Type.Integer] fa204fa1677b0f527183486780e02980 solverInfo :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> Language.Fixpoint.Graph.Types.SolverInfo a b trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: