==================== FINAL INTERFACE ==================== 2019-09-22 14:52:49.374254 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Deps 8065 interface hash: e14ff37dd96730aab5649d3ec1eb7f95 ABI hash: f58fb5bc911772ff16e90c021342fd77 export-list hash: 7deeeee1d668195264f1154820a52680 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: f8513aacf2907f9b889afe9802925dca opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Deps.decompose Language.Fixpoint.Graph.Deps.elimDeps Language.Fixpoint.Graph.Deps.elimVars Language.Fixpoint.Graph.Deps.graphStatistics Language.Fixpoint.Graph.Deps.isTarget Language.Fixpoint.Graph.Deps.kvEdges Language.Fixpoint.Graph.Deps.slice Language.Fixpoint.Graph.Deps.Elims{Language.Fixpoint.Graph.Deps.Deps depCuts depNonCuts} module dependencies: Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types 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.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:Control.Monad 07eaec7fd256019b318d048d00f45b1c import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Function 739684530bf19978a9a47e63c494ac7b 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:Debug.Trace 60f75ad789dcddb29321db1cb21ccd4c import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 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:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ containers-0.6.0.1:Data.Graph 681805d2edd6844f7f403edb3665ef4a import -/ containers-0.6.0.1:Data.Tree 241fc3b8487c8d8df54670f45b16e9e5 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Graph.Indexed 5d28372066e67e039fc277b7e008e880 exports: 1af7d08065167e1ab9a37bc5e529ea5d IKVGraph 060fc3471bf1245ee9c6140f9cbd1765 addLinks 59e61579a4804ffb233a5667b6ecd00a delNodes 5d6f34604c580a4f6189dd97dfa08363 edgesIkvg 6ce67dc8b816a5db670c8556c1200907 getPreds 059c1ae752faade4df87b97f1e9d4d9a getSuccs 6732d41489db714e56e71f6538e2f8a1 ikvgEdges 834e178233044dee20d7da3adc9c5f6a import -/ Language.Fixpoint.Graph.Reducible 7036b2a613444e3bf30da08908c4d9d5 exports: bf921c869217837466c3fa389c66ce1c isReducible 547323ed729071407cd453530e983e3c import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3 exports: 68162b3a5b2b3dfa40ecf54da514ced3 CDeps fb08c7abe463f57655419905998c9e3c CDs d9f2f987efef35ec0ef051129b12d887 CEdge 5926a8a79eef96a67d64e7e2de539c49 CGraph e39736edd224acccd8417b0edf19aa1e CGraph 66236c65d66a8151ebba5e6b1bf5230c CVertex 4c2dcbf4968a23ede6d681da7c0332b4 Cstr fb3e234b3b6ba6293e60b57759fd6db5 DKVar 4aa9c49c4eda2fada0ea4da9ae537843 DepEdge 4e73444bc8aa8dcc78647298be9df38e EBind 99874c354c29806b18442958f2188464 KVComps def5a7dc502d951c9d5669d25bead965 KVGraph a7ba87c7553ab45ba4fa623963e90126 KVGraph fe819e3425a3bf9de917a8ddb59b6513 KVRead 46544e1280bc1665457446550a616b1f KVar c4a8980acc6c70ca8becabae4f5f5f0a Rank eab4b6d561fa41bd7aab47eb6968cbf6 Rank cf29aa20410874c45eb55b88a9039fa1 Slice 53737e181653c6696ab008e006cd2b7b Slice c9f558b1c2b09536b1215379ef863bfc cNumScc fb08c7abe463f57655419905998c9e3c cPrev fb08c7abe463f57655419905998c9e3c cRank fb08c7abe463f57655419905998c9e3c cSucc fb08c7abe463f57655419905998c9e3c gEdges 66236c65d66a8151ebba5e6b1bf5230c gRanks 66236c65d66a8151ebba5e6b1bf5230c gSccs 66236c65d66a8151ebba5e6b1bf5230c gSucc 66236c65d66a8151ebba5e6b1bf5230c isRealEdge dfc0340045fc5c818e72018ad55a3050 kvgEdges fe819e3425a3bf9de917a8ddb59b6513 lookupCMap 39b9410ac905fdea8ba0cbc0cd18b14b slConcCs c9f558b1c2b09536b1215379ef863bfc slEdges c9f558b1c2b09536b1215379ef863bfc slKVarCs c9f558b1c2b09536b1215379ef863bfc writeEdges ef51f742359e1b490dcec54af017b86e import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e componentsWith 07b1e107ee5aa6a1c4cb57f6f7b9b347 errorstar e47c2d482124b43e020a405f809adcff fst3 f5278b30747d6e9b343f3260d38ec0b3 group 89622853601fa33661a1ceef6d1ea621 groupList 89ce0af3d82aae7a2d9f3f3c1cde0d05 sortNub 7d73d874da71f31bd97dc544f8572fc4 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 autoKuts 3988ec36858b82afed711ea7ff67ff00 elimBound 3988ec36858b82afed711ea7ff67ff00 elimStats 3988ec36858b82afed711ea7ff67ff00 nonLinCuts 3988ec36858b82afed711ea7ff67ff00 noslice 3988ec36858b82afed711ea7ff67ff00 queryFile 24dfc95af04dba576b5be5b6594619e1 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 GInfo 90ef96c47f269969affd7c3639af34f3 SubcId 311c8f398e2d0f5e23e664bacb45f905 TaggedC ec47f4df806fb3eb50e32a07ab4ee371 bs 90ef96c47f269969affd7c3639af34f3 clhs 00dbb4f04b49ed91a7500360192dbe82 cm 90ef96c47f269969affd7c3639af34f3 crhs 9701eec311803b00e8ff03aadeb150fa ebinds 90ef96c47f269969affd7c3639af34f3 ksMember 202c76f7c51615b606e4a1028b152172 ksVars 72e8e948b4d2861f1e29f60f1aa59a0c kuts 90ef96c47f269969affd7c3639af34f3 stag 99b38d7c44906da122f4e3e424da4733 subcId c5ad3aad4a42726885659f4c083c4240 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 BindId c1dc08df6d648ef575cab1d33fc5df7b lookupBindEnv d43e50ddb41c32b57594f5f31bf34671 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 DocTable b770cb7429f7fb2e003768f2afd382a6 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a PTable e8b4bbc42515b2faadf940cf2792c24b pprint 955dc9d031db587300edf6146ac33be4 ptable 010a61d3c3108da1c22e8c22f9cd7753 showpp a9f79fc9a75f72593341c16b4b8ac492 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc KVar f4ebd74e51621c4f10e9fc003e3885a9 isTautoPred b0ebfe363526526426c55e6ea6cc9f4d syms cedb5518769db9d49f4ce507184c5e1f import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 CMap f6eaa2c8b036cb0052c0242863f4089d import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 envKVars 784f60e3e785577497db1a4d2900625e envKVarsN d41a77b81a8cda60e8ad71df46f5b649 isConcC 2f660a3d29daa78cb1b3ea5a2a1db8d7 kvars c0e50d3c638d80582ef2ff4559ccde96 rhsKVars c3fdeb202ac602acd77641047c2b5ffa import -/ Language.Fixpoint.Utils.Files b2b779ebebf03f66af4a684b17d25d25 exports: 061e3dd63eb42c6c413f2db46ae3d0cb Dot 7fab3cb31665cd1c81dc72aae611acf7 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 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 c993725cef81addc46fa6e960ae18a56 $fMonoidElims :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => GHC.Base.Monoid (Language.Fixpoint.Graph.Deps.Elims a) DFunId c993725cef81addc46fa6e960ae18a56 $fPPrintElims :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Graph.Deps.Elims a) DFunId 5d6f61236e78db88da779baa833ab63e $fPTableStats :: Language.Fixpoint.Types.PrettyPrint.PTable Language.Fixpoint.Graph.Deps.Stats DFunId c993725cef81addc46fa6e960ae18a56 $fSemigroupElims :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => GHC.Base.Semigroup (Language.Fixpoint.Graph.Deps.Elims a) DFunId c993725cef81addc46fa6e960ae18a56 $fShowElims :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Graph.Deps.Elims a) DFunId 8bf50120de7fb78269f0acead58c242f $tc'Deps :: GHC.Types.TyCon 4738ea686a61df7536fc1d048630bb19 $tc'Stats :: GHC.Types.TyCon 25fc333e6cd97b4db33f7c5dff27daae $tcElims :: GHC.Types.TyCon 6df2e6dfabb0d3c75f9f261ec40b5d76 $tcStats :: GHC.Types.TyCon 2f4d3fc83c2fe5b70d520e0cde6e57fe $trModule :: GHC.Types.Module c3078f952ccc67fbbcece0a814a09373 type Cutable a = (GHC.Classes.Eq a, GHC.Classes.Ord a, Data.Hashable.Class.Hashable a, GHC.Show.Show a) :: GHC.Types.Constraint 84d9ced04af251b61bcf985a7cf16164 type Cutter a = [(a, a, [a])] -> GHC.Maybe.Maybe (a, [(a, a, [a])]) 8f38f761bdc3089153f1ecb1c8023cb8 type EdgeRank = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar GHC.Integer.Type.Integer c993725cef81addc46fa6e960ae18a56 type role Elims nominal data Elims a = Deps {depCuts :: !(Data.HashSet.HashSet a), depNonCuts :: !(Data.HashSet.HashSet a)} 5d6f61236e78db88da779baa833ab63e data Stats = Stats {stNumKVCuts :: !GHC.Types.Int, stNumKVNonLin :: !GHC.Types.Int, stNumKVTotal :: !GHC.Types.Int, stIsReducible :: !GHC.Types.Bool, stSetKVNonLin :: !(Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar)} 4773457816fb7844595c6cce724cae20 decompose :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Graph.Types.KVComps c993725cef81addc46fa6e960ae18a56 depCuts :: Language.Fixpoint.Graph.Deps.Elims a -> Data.HashSet.HashSet a RecSel Left Language.Fixpoint.Graph.Deps.Elims c993725cef81addc46fa6e960ae18a56 depNonCuts :: Language.Fixpoint.Graph.Deps.Elims a -> Data.HashSet.HashSet a RecSel Left Language.Fixpoint.Graph.Deps.Elims dc3d3bae02683f6ae264dac8243bec09 elimDeps :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Graph.Types.CEdge] -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar -> Data.HashSet.HashSet Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Graph.Types.CDeps 4be3da868d909f2205fdad0e4d0d5b05 elimVars :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> ([Language.Fixpoint.Graph.Types.CEdge], Language.Fixpoint.Graph.Deps.Elims Language.Fixpoint.Types.Refinements.KVar) 0c1e1a0a1a853779537b29a9aa270680 graphStatistics :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.Types.IO () d1daed292929204f16030b2bb40ffd2e isTarget :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> GHC.Types.Bool 686b8200ce806f2031e4d7483f206668 kvEdges :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Graph.Types.CEdge] ebd8822ee891d60be909112e676bd8ce slice :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Constraints.GInfo c a 5d6f61236e78db88da779baa833ab63e stIsReducible :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Bool RecSel Left Language.Fixpoint.Graph.Deps.Stats 5d6f61236e78db88da779baa833ab63e stNumKVCuts :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Deps.Stats 5d6f61236e78db88da779baa833ab63e stNumKVNonLin :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Deps.Stats 5d6f61236e78db88da779baa833ab63e stNumKVTotal :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Deps.Stats 5d6f61236e78db88da779baa833ab63e stSetKVNonLin :: Language.Fixpoint.Graph.Deps.Stats -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Graph.Deps.Stats instance GHC.Base.Monoid [Language.Fixpoint.Graph.Deps.Elims] = Language.Fixpoint.Graph.Deps.$fMonoidElims instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Deps.Elims] = Language.Fixpoint.Graph.Deps.$fPPrintElims instance Language.Fixpoint.Types.PrettyPrint.PTable [Language.Fixpoint.Graph.Deps.Stats] = Language.Fixpoint.Graph.Deps.$fPTableStats instance GHC.Base.Semigroup [Language.Fixpoint.Graph.Deps.Elims] = Language.Fixpoint.Graph.Deps.$fSemigroupElims instance GHC.Show.Show [Language.Fixpoint.Graph.Deps.Elims] = Language.Fixpoint.Graph.Deps.$fShowElims trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: