==================== FINAL INTERFACE ==================== 2019-09-22 14:52:48.702869 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types [family instance module] 8065 interface hash: eb0436e611ee955ace59f541147cc18e ABI hash: 90354efadf49650a4d644eca42325aa3 export-list hash: 68162b3a5b2b3dfa40ecf54da514ced3 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 89aef9aa3f7bffe55a7c94cc1c7c64a4 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Types.isRealEdge Language.Fixpoint.Graph.Types.lookupCMap Language.Fixpoint.Graph.Types.writeEdges Language.Fixpoint.Graph.Types.writeGraph Language.Fixpoint.Graph.Types.CDeps{Language.Fixpoint.Graph.Types.CDs cNumScc cPrev cRank cSucc} Language.Fixpoint.Graph.Types.CEdge Language.Fixpoint.Graph.Types.CGraph{Language.Fixpoint.Graph.Types.CGraph gEdges gRanks gSccs gSucc} Language.Fixpoint.Graph.Types.CVertex{Language.Fixpoint.Graph.Types.Cstr Language.Fixpoint.Graph.Types.DKVar Language.Fixpoint.Graph.Types.EBind Language.Fixpoint.Graph.Types.KVar} Language.Fixpoint.Graph.Types.Comps Language.Fixpoint.Graph.Types.DepEdge Language.Fixpoint.Graph.Types.KVComps Language.Fixpoint.Graph.Types.KVGraph{Language.Fixpoint.Graph.Types.KVGraph kvgEdges} Language.Fixpoint.Graph.Types.KVRead Language.Fixpoint.Graph.Types.Rank{Language.Fixpoint.Graph.Types.Rank rIcc rScc rTag} Language.Fixpoint.Graph.Types.Slice{Language.Fixpoint.Graph.Types.Slice slConcCs slEdges slKVarCs} Language.Fixpoint.Graph.Types.SolverInfo{Language.Fixpoint.Graph.Types.SI siDeps siQuery siSol siVars} Language.Fixpoint.Types.Constraints.SubcId Language.Fixpoint.Types.Solutions.CMap module dependencies: 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 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 intern-0.9.2:Data.Interned.Internal.Text 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:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.IO 898d4ddbf00eb4732e5f462760aa42ae import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:GHC.Stack 2e7ebbc83674265f5754688ee2a2c7af import -/ base-4.12.0.0:GHC.Stack.Types cc5765ec7323d457f659b1d744594490 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 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.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e group 89622853601fa33661a1ceef6d1ea621 safeLookup de93685c8ce33b5619842061a589410f wrap d12ffeef035a47d87849891a6e05a16f import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 SInfo 90ef96c47f269969affd7c3639af34f3 SubcId 311c8f398e2d0f5e23e664bacb45f905 Tag f16c6ce3b8b49003401603dfb3b1715f import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprint 955dc9d031db587300edf6146ac33be4 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc exports: c373b88351492ec6aa75dffded20541a KVar f4ebd74e51621c4f10e9fc003e3885a9 kv f4ebd74e51621c4f10e9fc003e3885a9 import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 exports: afa649b912ca2c885ac627d761c55201 CMap f6eaa2c8b036cb0052c0242863f4089d QBind a143c3dc8e88328902f82f3430d31b51 Sol 7e54038e4321923be0c504747fce3360 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 <-> a6bccb4500bca89f567c047995747774 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 4c2dcbf4968a23ede6d681da7c0332b4 $fEqCVertex :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.CVertex DFunId cf29aa20410874c45eb55b88a9039fa1 $fEqRank :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.Rank DFunId c9f558b1c2b09536b1215379ef863bfc $fEqSlice :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.Slice DFunId 4c2dcbf4968a23ede6d681da7c0332b4 $fGenericCVertex :: GHC.Generics.Generic Language.Fixpoint.Graph.Types.CVertex DFunId 4c2dcbf4968a23ede6d681da7c0332b4 $fHashableCVertex :: Data.Hashable.Class.Hashable Language.Fixpoint.Graph.Types.CVertex DFunId 4c2dcbf4968a23ede6d681da7c0332b4 $fOrdCVertex :: GHC.Classes.Ord Language.Fixpoint.Graph.Types.CVertex DFunId 4c2dcbf4968a23ede6d681da7c0332b4 $fPPrintCVertex :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex DFunId fe819e3425a3bf9de917a8ddb59b6513 $fPPrintKVGraph :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.KVGraph DFunId cf29aa20410874c45eb55b88a9039fa1 $fPPrintRank :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.Rank DFunId 4c2dcbf4968a23ede6d681da7c0332b4 $fShowCVertex :: GHC.Show.Show Language.Fixpoint.Graph.Types.CVertex DFunId cf29aa20410874c45eb55b88a9039fa1 $fShowRank :: GHC.Show.Show Language.Fixpoint.Graph.Types.Rank DFunId c9f558b1c2b09536b1215379ef863bfc $fShowSlice :: GHC.Show.Show Language.Fixpoint.Graph.Types.Slice DFunId 6c83605e7052af0165f1e053f1469676 $tc'CDs :: GHC.Types.TyCon 195f30ef2b2878e218be2bcb0a55ab52 $tc'CGraph :: GHC.Types.TyCon e990ee1f816ff1744d7fcec5df4b4ff7 $tc'Cstr :: GHC.Types.TyCon 4581886ac3fc6564767725e2426ac2d8 $tc'DKVar :: GHC.Types.TyCon 7692fe56afe4cd36b2da9ded4ab2953a $tc'EBind :: GHC.Types.TyCon e682b8c279f0586162de873b85fbd0e0 $tc'KVGraph :: GHC.Types.TyCon c9b68d2658788cae23b6158e8eabc48a $tc'KVar :: GHC.Types.TyCon e5f9c3da2a27f98f505a8006966df00d $tc'Rank :: GHC.Types.TyCon 7b99dae6051f4520a9ee8f8ebe45090f $tc'SI :: GHC.Types.TyCon c9f8075c0718ea1e49e7d5cc17be6608 $tc'Slice :: GHC.Types.TyCon 35e840cadec4d6877ecab97b29979c05 $tcCDeps :: GHC.Types.TyCon 022fb62c1a9185f0e3eaab11809c74ad $tcCGraph :: GHC.Types.TyCon f33d1cbd296d7dc9cb1279696f111e20 $tcCVertex :: GHC.Types.TyCon 3e0bcfd2de4259ad48ffbb58ff9c0222 $tcKVGraph :: GHC.Types.TyCon b7e060b4741985546ce3711c79523ae7 $tcRank :: GHC.Types.TyCon 2fd0ff257e592df034f6bbef3a03c1fe $tcSlice :: GHC.Types.TyCon bb7c112f3204862fbd0b9ba9a4a1c3b2 $tcSolverInfo :: GHC.Types.TyCon dce44a4bebb69fc8384ee666155c66fb $trModule :: GHC.Types.Module fb08c7abe463f57655419905998c9e3c data CDeps = CDs {cSucc :: !(Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId]), cPrev :: !(Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Refinements.KVar]), cRank :: !(Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank), cNumScc :: !GHC.Types.Int} 5926a8a79eef96a67d64e7e2de539c49 type CEdge = (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex) 66236c65d66a8151ebba5e6b1bf5230c data CGraph = CGraph {gEdges :: [Language.Fixpoint.Graph.Types.DepEdge], gRanks :: !(Language.Fixpoint.Types.Solutions.CMap GHC.Types.Int), gSucc :: !(Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId]), gSccs :: !GHC.Types.Int} 4c2dcbf4968a23ede6d681da7c0332b4 data CVertex = KVar !Language.Fixpoint.Types.Refinements.KVar | DKVar !Language.Fixpoint.Types.Refinements.KVar | EBind !Language.Fixpoint.Types.Names.Symbol | Cstr !GHC.Integer.Type.Integer 73dc5a86a8a8cae61cc19bbc3d9fc43d type Comps a = [[a]] 4e73444bc8aa8dcc78647298be9df38e type DepEdge = (Language.Fixpoint.Types.Constraints.SubcId, Language.Fixpoint.Types.Constraints.SubcId, [Language.Fixpoint.Types.Constraints.SubcId]) def5a7dc502d951c9d5669d25bead965 type KVComps = Language.Fixpoint.Graph.Types.Comps Language.Fixpoint.Graph.Types.CVertex fe819e3425a3bf9de917a8ddb59b6513 data KVGraph = KVGraph {kvgEdges :: [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])]} 46544e1280bc1665457446550a616b1f type KVRead = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [Language.Fixpoint.Types.Constraints.SubcId] cf29aa20410874c45eb55b88a9039fa1 data Rank = Rank {rScc :: !GHC.Types.Int, rIcc :: !GHC.Types.Int, rTag :: !Language.Fixpoint.Types.Constraints.Tag} 4c2dcbf4968a23ede6d681da7c0332b4 axiom Language.Fixpoint.Graph.Types.Rep_CVertex:: GHC.Generics.Rep Language.Fixpoint.Graph.Types.CVertex = GHC.Generics.D1 ('GHC.Generics.MetaData "CVertex" "Language.Fixpoint.Graph.Types" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) ((GHC.Generics.C1 ('GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "EBind" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Integer.Type.Integer)))) c9f558b1c2b09536b1215379ef863bfc data Slice = Slice {slKVarCs :: [Language.Fixpoint.Types.Constraints.SubcId], slConcCs :: [Language.Fixpoint.Types.Constraints.SubcId], slEdges :: [Language.Fixpoint.Graph.Types.DepEdge]} 9a73d9e092f73b37b6476ae70547e961 type role SolverInfo nominal representational data SolverInfo a b = SI {siSol :: !(Language.Fixpoint.Types.Solutions.Sol b Language.Fixpoint.Types.Solutions.QBind), siQuery :: !(Language.Fixpoint.Types.Constraints.SInfo a), siDeps :: !Language.Fixpoint.Graph.Types.CDeps, siVars :: !(Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar)} fb08c7abe463f57655419905998c9e3c cNumScc :: Language.Fixpoint.Graph.Types.CDeps -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CDeps fb08c7abe463f57655419905998c9e3c cPrev :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Refinements.KVar] RecSel Left Language.Fixpoint.Graph.Types.CDeps fb08c7abe463f57655419905998c9e3c cRank :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Graph.Types.CDeps fb08c7abe463f57655419905998c9e3c cSucc :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.CDeps 66236c65d66a8151ebba5e6b1bf5230c gEdges :: Language.Fixpoint.Graph.Types.CGraph -> [Language.Fixpoint.Graph.Types.DepEdge] RecSel Left Language.Fixpoint.Graph.Types.CGraph 66236c65d66a8151ebba5e6b1bf5230c gRanks :: Language.Fixpoint.Graph.Types.CGraph -> Language.Fixpoint.Types.Solutions.CMap GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CGraph 66236c65d66a8151ebba5e6b1bf5230c gSccs :: Language.Fixpoint.Graph.Types.CGraph -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CGraph 66236c65d66a8151ebba5e6b1bf5230c gSucc :: Language.Fixpoint.Graph.Types.CGraph -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.CGraph dfc0340045fc5c818e72018ad55a3050 isRealEdge :: Language.Fixpoint.Graph.Types.CEdge -> GHC.Types.Bool fe819e3425a3bf9de917a8ddb59b6513 kvgEdges :: Language.Fixpoint.Graph.Types.KVGraph -> [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] RecSel Left Language.Fixpoint.Graph.Types.KVGraph 39b9410ac905fdea8ba0cbc0cd18b14b lookupCMap :: (?callStack::GHC.Stack.Types.CallStack) => Language.Fixpoint.Types.Solutions.CMap a -> Language.Fixpoint.Types.Constraints.SubcId -> a cf29aa20410874c45eb55b88a9039fa1 rIcc :: Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.Rank cf29aa20410874c45eb55b88a9039fa1 rScc :: Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.Rank cf29aa20410874c45eb55b88a9039fa1 rTag :: Language.Fixpoint.Graph.Types.Rank -> Language.Fixpoint.Types.Constraints.Tag RecSel Left Language.Fixpoint.Graph.Types.Rank 9a73d9e092f73b37b6476ae70547e961 siDeps :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Graph.Types.CDeps RecSel Left Language.Fixpoint.Graph.Types.SolverInfo 9a73d9e092f73b37b6476ae70547e961 siQuery :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Types.Constraints.SInfo a RecSel Left Language.Fixpoint.Graph.Types.SolverInfo 9a73d9e092f73b37b6476ae70547e961 siSol :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Types.Solutions.Sol b Language.Fixpoint.Types.Solutions.QBind RecSel Left Language.Fixpoint.Graph.Types.SolverInfo 9a73d9e092f73b37b6476ae70547e961 siVars :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Graph.Types.SolverInfo c9f558b1c2b09536b1215379ef863bfc slConcCs :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.Slice c9f558b1c2b09536b1215379ef863bfc slEdges :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Graph.Types.DepEdge] RecSel Left Language.Fixpoint.Graph.Types.Slice c9f558b1c2b09536b1215379ef863bfc slKVarCs :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.Slice ef51f742359e1b490dcec54af017b86e writeEdges :: GHC.IO.FilePath -> [Language.Fixpoint.Graph.Types.CEdge] -> GHC.Types.IO () d4282ed4e9a464fdcbf0fdae2a09bb51 writeGraph :: GHC.IO.FilePath -> Language.Fixpoint.Graph.Types.KVGraph -> GHC.Types.IO () instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fEqCVertex instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fEqRank instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.Slice] = Language.Fixpoint.Graph.Types.$fEqSlice instance GHC.Generics.Generic [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fGenericCVertex instance Data.Hashable.Class.Hashable [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fHashableCVertex instance GHC.Classes.Ord [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fOrdCVertex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fPPrintCVertex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.KVGraph] = Language.Fixpoint.Graph.Types.$fPPrintKVGraph instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fPPrintRank instance GHC.Show.Show [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fShowCVertex instance GHC.Show.Show [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fShowRank instance GHC.Show.Show [Language.Fixpoint.Graph.Types.Slice] = Language.Fixpoint.Graph.Types.$fShowSlice family instance GHC.Generics.Rep [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.Rep_CVertex trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: