==================== FINAL INTERFACE ==================== 2017-05-08 17:11:18.952909 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Deps 8002 interface hash: 84d91ac0ced18da5fb8df87a2d439ee2 ABI hash: eeddef0c8a8bfd0d61769d397e7bdea8 export-list hash: fe28eb39e40656718a7418cd2daa6f59 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: faf54ffe5aa57e13af055a5bd1ed6cb2 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.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 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.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Function 7aca86bfbd92366def5f260e30cb2628 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.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:Debug.Trace a9edf3aec504f4423d8ba829ab373a25 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 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 -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Graph 54c0f58a4ccb634fc9eab39368f95434 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Tree d0006987ba7e0d1855cb2cb448efc980 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 -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Graph.Indexed e7525fffe9dbe684d7f4811b1a4fce83 exports: dd0afc55f4800afd6d93892cd1fda69f IKVGraph c7e130e86d1012ec3a3d9b1fc0c7ada1 addLinks 87ff4a9510ecaf6044833933fdfdbcaa delNodes e67e279f532e6c82341439a8d5e855e8 edgesIkvg 0bcba7fc96f30c9338d5fa4cba2ddb90 getPreds 728a8d2a074d543e0c326f6811310779 getSuccs 41b69298f01d76ade153e7c66c1d9221 ikvgEdges 80ee8fccf4092164e42b7c10d71bc2ea import -/ Language.Fixpoint.Graph.Reducible 1b244da849b8f0d24976ae77caaf1082 exports: ab59a26233e3bbb85b9cf580b2f8d040 isReducible ccf6e2470b7d6c8486f84d69d5e21ccd import -/ Language.Fixpoint.Graph.Types 2a676317037aae8a8a1993700b262a98 exports: d494341c9f25170e37ef070e296d03ad CDeps 5b3dc53e7d7182efe8772ae3b052a48a CDs 0448504b254d47f1a0686d6bd7c96819 CEdge a2036367d67d69c8514310d041f81d16 CGraph 33027a8b7040560dcd21e9fa29e78cef CGraph cb563b7e163c72024edee1f8b22b76fa CVertex 0baa3f75f48ef092e8c8a2bde9c58a38 Cstr 9f7a0602cf644cebad4f46b3e1d3ddb0 DKVar 2def21b61d47d4a918717912406d0c3e DepEdge 64e3eed034d414c1367df64227ac4b1a KVComps dcdfafc92b5824d29bbba8579e583e11 KVGraph 34e08aba02316ca1858d6964fdb4676a KVGraph ab1d23f53f34d4b1d3dc9d61914a27c1 KVRead a0e3ca47fce00cd7b986134304daba47 KVar 1738b6d2073e8379c999219ae6dba001 Rank 780da149df3b7b6d246f81e35da34036 Rank 26496422ee574ef263cabd9154cda099 Slice c3e53df7f94d92319b025408fc0157de Slice 2ea73990b60a39c7e77086a6159928f6 cNumScc c5881a4eacb010b021dce1070cfecdb4 cPrev 61697da14e037b8e57339f7aa3854848 cRank d181f189312d621f71298852433ae6e4 cSucc 0462374c6b2e1a5d14790a86590c6335 gEdges c62a14b5a40783f104379f57ad18f2b4 gRanks 66acc03b09b4c839dbc647983f9880cb gSccs 878c9ddce6abf71207f2c197787f6849 gSucc e0530c7cd12d5ca72b97a38056cf31c1 isRealEdge 3a95b3b83219ccf8f3a9526ab246490f kvgEdges 2d6e01fd696dec24e4e2113cd5e5548d lookupCMap 845a8cb4fb5945a16966f35a7a2a1c22 slConcCs aa18f409e294e329c4bebc9353a1359f slEdges 783e1efa7366e116d159d6f1d227c458 slKVarCs 718d7b713629470d0db77ac0a3742f4e writeEdges bc1cf478a249bf8fbab8486519eea9fb import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b componentsWith 2a9902e941dd0e29701c44566d6e4083 errorstar 38cc16c0836e03b9af68d3c95faef762 fst3 c2fb078f91ea47d89f334b40271f00d5 group ddaaecd54e69c0dd277c3bddd2025c2e groupList a38f3ffef5c093f815d9eacf9823aaec sortNub 84a7619417d4bda4412d2f78a0fc0398 import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df exports: 26252365e1684d225d5392dd42c93881 Config a1e0868924a10a6ced01485926d4ec1f autoKuts f34beeb51b3dc27c0ada0efee46df79c elimBound b5705a9995023ef4e85dd38d2ddffb4b elimStats eb52558f260d55674ace8ff7b00b2ab0 nonLinCuts 6e1ec2785b773ea48276abe4c5403907 noslice 73408a029a6a6918a6ff2ef907b6592a queryFile a3de8e7a9edce3ecfb4556e8785fc343 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba GInfo c4bf42c4a9b32550baf9a82ec918fc53 SubcId 026af1096155a8461a8bb708fa9cb06e TaggedC 88438ba686e9ba19347ed3d4d63cc789 bs d61bc046b917adffb7499296cdd6f706 cm bd6d51f78a487f86f74c55f8b64d03e8 crhs 1999e06979610b1afdd7eee052b939ea ksMember 6901c028b71780a5c1fefb0b59a13500 ksVars 8b651f35ca6e65a44826ac6c90d064c7 kuts a97dfdf5ebae64e727e9ce8cc0d7ae8c stag 7dfd4bee3bff054a215a126b6b31fcf5 subcId ea145a0e301f27fd6acf8e67ef9cbb35 ws fef3eea7365ecfd2111de5aae1af543e import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e BindEnv b22ca5d85c77eb9cc63ef625fe87597a import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 DocTable b9da6d0e05fb438739378d1367de2118 PPrint 78b520d4c3718d2e8c30eba678b273b4 PTable 96acc7d93bf439f3db52aa4c809365f0 pprint ddfd75447423a2dd5342795b308506e9 ptable 64706cbe5fd6064955781d6dcea225e6 showpp 6c7acfad3292f20adf3bdca6d5c2204a tracepp 78a70a5acbe58decd7c5cab8a4c1cfeb import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 KVar 68dcac5ad144e4854dc35cff62d456d0 isTautoPred 0b55ae449d7dbd6beb0fdb1eaf64167d import -/ Language.Fixpoint.Types.Solutions 01540e295b430bf658940ab1fd78ff64 CMap 4ba072cfaa176189a6c47d66be05d6b4 import -/ Language.Fixpoint.Types.Visitor 562b326437be6bf1306273f048769e9c exports: af05a96a471de9ae7bb1b445015e81c2 envKVars 6d940edd32eeb1001478beea6f52c733 envKVarsN 6e627b34aa0e85a2572611e61729f0f5 isConcC 95ec9197308c2b8f45f23416db66d636 kvars 21dd1dcffea29da47c8464923a702358 rhsKVars a6748922e687175914ddbe06ed3a979b import -/ Language.Fixpoint.Utils.Files be394d70e321a20df414eb3c7ce0cdfa exports: ebb433e6c2d1f5ff63bc5cc6b8ec3d71 Dot 3f4706e4fbadcb5b15eef028f5e1b75a import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 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 2583e0f914b759d8a5a703086d69de02 $fMonoidElims :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => GHC.Base.Monoid (Language.Fixpoint.Graph.Deps.Elims a) DFunId 2583e0f914b759d8a5a703086d69de02 $fPPrintElims :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Graph.Deps.Elims a) DFunId 565c057477de01e6dbd547ceeab813f4 $fPTableStats :: Language.Fixpoint.Types.PrettyPrint.PTable Language.Fixpoint.Graph.Deps.Stats DFunId 2583e0f914b759d8a5a703086d69de02 $fShowElims :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Graph.Deps.Elims a) DFunId 319412d625e4b46850a1e84ca494eb16 $tc'Deps :: GHC.Types.TyCon cc2588e6bf4278233c089fae45ba8876 $tc'Stats :: GHC.Types.TyCon 4fcf2a2995d88f48c9204f3a35dcb31a $tcElims :: GHC.Types.TyCon a907afa14d13b26d66ae8114b63c9927 $tcStats :: GHC.Types.TyCon fb91d6a6b41cb81c92e6c14daca1dd37 $trModule :: GHC.Types.Module 9666ae35af8f7b07c5715b76a548265b type Cutable a = (GHC.Classes.Eq a, GHC.Classes.Ord a, Data.Hashable.Class.Hashable a, GHC.Show.Show a) :: GHC.Types.Constraint 5cf243d5d7f46fa19fde8a1b9fd7d277 type Cutter a = [(a, a, [a])] -> GHC.Base.Maybe (a, [(a, a, [a])]) b8b8260a7ddc342095bbe68d7da71dc5 type EdgeRank = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar GHC.Integer.Type.Integer 2583e0f914b759d8a5a703086d69de02 type role Elims nominal data Elims a = Deps {depCuts :: !Data.HashSet.HashSet a, depNonCuts :: !Data.HashSet.HashSet a} 565c057477de01e6dbd547ceeab813f4 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} 7fb7482120823c3ca4eb24be2e96918b decompose :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Graph.Types.KVComps 0ba169c98b7e4a2190f2d50db30bb9bd depCuts :: Language.Fixpoint.Graph.Deps.Elims a -> Data.HashSet.HashSet a RecSel Left Language.Fixpoint.Graph.Deps.Elims cd179f979273dd85744a82e9d94f1d80 depNonCuts :: Language.Fixpoint.Graph.Deps.Elims a -> Data.HashSet.HashSet a RecSel Left Language.Fixpoint.Graph.Deps.Elims 18749b6dfab2445a519872d141ea6296 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 -> Language.Fixpoint.Graph.Types.CDeps a03626a1f0cf100e28ecd32f8efb7a4a 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) f2e5384a7daad7f4854387c09002e45d graphStatistics :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.Types.IO () fa8c703b22762bc9fd8ef1c3f9318459 isTarget :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> GHC.Types.Bool e623a2f7dd33603514b4490fe54a6a7c kvEdges :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Graph.Types.CEdge] 8123aa5f119b2a24e0ae8d570b08c6da 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 f161f8248de35ebc8aba5d17da9179a7 stIsReducible :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Bool RecSel Left Language.Fixpoint.Graph.Deps.Stats a3ebf5a1ef0f1570799511af22cf9119 stNumKVCuts :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Deps.Stats 19d140a5d7f26750e2cf1e9752d7b254 stNumKVNonLin :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Deps.Stats e9e57293f13ad597349d0e593fa3a6f8 stNumKVTotal :: Language.Fixpoint.Graph.Deps.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Deps.Stats 7a1a3ed90f00dd8a5b242e416c878612 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.Show.Show [Language.Fixpoint.Graph.Deps.Elims] = Language.Fixpoint.Graph.Deps.$fShowElims vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False