==================== FINAL INTERFACE ====================
2019-09-22 14:52:50.213298 UTC

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph 8065
  interface hash: 25a41b31939700e54c60f3f32f83bf8f
  ABI hash: 59334fea55dc8d64130719f78eeb5109
  export-list hash: 70a8f3bb9be3a7f9430fb829908b4dcf
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 3afb024a66b98a7771e7ad37a80911a1
  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.Partition.dumpPartitions
  Language.Fixpoint.Graph.Partition.mcInfo
  Language.Fixpoint.Graph.Partition.partition
  Language.Fixpoint.Graph.Partition.partition'
  Language.Fixpoint.Graph.Partition.partitionN
  Language.Fixpoint.Graph.Reducible.isReducible
  Language.Fixpoint.Graph.Types.isRealEdge
  Language.Fixpoint.Graph.Types.lookupCMap
  Language.Fixpoint.Graph.Types.writeEdges
  Language.Fixpoint.Graph.Types.writeGraph
  Language.Fixpoint.Graph.Deps.Elims{Language.Fixpoint.Graph.Deps.Deps depCuts depNonCuts}
  Language.Fixpoint.Graph.Partition.CPart{Language.Fixpoint.Graph.Partition.CPart pcm pws}
  Language.Fixpoint.Graph.Partition.MCInfo{Language.Fixpoint.Graph.Partition.MCInfo mcCores mcMaxPartSize mcMinPartSize}
  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.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.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:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  Language.Fixpoint.Graph.Deps f58fb5bc911772ff16e90c021342fd77
  exports: 7deeeee1d668195264f1154820a52680
  Deps c3cb706eed279b0e33e459517fdc62fc
  Elims c993725cef81addc46fa6e960ae18a56
  decompose 4773457816fb7844595c6cce724cae20
  depCuts c993725cef81addc46fa6e960ae18a56
  depNonCuts c993725cef81addc46fa6e960ae18a56
  elimDeps dc3d3bae02683f6ae264dac8243bec09
  elimVars 4be3da868d909f2205fdad0e4d0d5b05
  graphStatistics 0c1e1a0a1a853779537b29a9aa270680
  isTarget d1daed292929204f16030b2bb40ffd2e
  kvEdges 686b8200ce806f2031e4d7483f206668
  slice ebd8822ee891d60be909112e676bd8ce
import  -/  Language.Fixpoint.Graph.Partition 10b792bb9300a0bfeef35f9a6335155b
  exports: f177a010be01f53501cf29b1043f9946
  CPart 599f41feda32e84d86385ce81d2e8faf
  CPart 34f38a4d10574cd66bf22ef00cee91aa
  MCInfo 4b71420ed2c5df045c4d7cdd7f6ad778
  MCInfo 1310569d9441a00e5d026d0ba60274b5
  dumpPartitions b22c89a9aec0774421cedaa5595dfbce
  mcCores 1310569d9441a00e5d026d0ba60274b5
  mcInfo 1b954f79e466123de525c83e62f723ee
  mcMaxPartSize 1310569d9441a00e5d026d0ba60274b5
  mcMinPartSize 1310569d9441a00e5d026d0ba60274b5
  partition 00f9f31dc845d7647e1224fc08a89d10
  partition' 604dec4b5afaf691202e7ed2938aa872
  partitionN 2a353cadac6e10dd4186111d3ddb7653
  pcm 34f38a4d10574cd66bf22ef00cee91aa
  pws 34f38a4d10574cd66bf22ef00cee91aa
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
  Comps 73dc5a86a8a8cae61cc19bbc3d9fc43d
  Cstr fb3e234b3b6ba6293e60b57759fd6db5
  DKVar 4aa9c49c4eda2fada0ea4da9ae537843
  DepEdge 4e73444bc8aa8dcc78647298be9df38e
  EBind 99874c354c29806b18442958f2188464
  KVComps def5a7dc502d951c9d5669d25bead965
  KVGraph a7ba87c7553ab45ba4fa623963e90126
  KVGraph fe819e3425a3bf9de917a8ddb59b6513
  KVRead 46544e1280bc1665457446550a616b1f
  KVar c4a8980acc6c70ca8becabae4f5f5f0a
  Rank eab4b6d561fa41bd7aab47eb6968cbf6
  Rank cf29aa20410874c45eb55b88a9039fa1
  SI acae40c3d81f5865f3bafc419a2516f3
  Slice 53737e181653c6696ab008e006cd2b7b
  Slice c9f558b1c2b09536b1215379ef863bfc
  SolverInfo 9a73d9e092f73b37b6476ae70547e961
  cNumScc fb08c7abe463f57655419905998c9e3c
  cPrev fb08c7abe463f57655419905998c9e3c
  cRank fb08c7abe463f57655419905998c9e3c
  cSucc fb08c7abe463f57655419905998c9e3c
  gEdges 66236c65d66a8151ebba5e6b1bf5230c
  gRanks 66236c65d66a8151ebba5e6b1bf5230c
  gSccs 66236c65d66a8151ebba5e6b1bf5230c
  gSucc 66236c65d66a8151ebba5e6b1bf5230c
  isRealEdge dfc0340045fc5c818e72018ad55a3050
  kvgEdges fe819e3425a3bf9de917a8ddb59b6513
  lookupCMap 39b9410ac905fdea8ba0cbc0cd18b14b
  rIcc cf29aa20410874c45eb55b88a9039fa1
  rScc cf29aa20410874c45eb55b88a9039fa1
  rTag cf29aa20410874c45eb55b88a9039fa1
  siDeps 9a73d9e092f73b37b6476ae70547e961
  siQuery 9a73d9e092f73b37b6476ae70547e961
  siSol 9a73d9e092f73b37b6476ae70547e961
  siVars 9a73d9e092f73b37b6476ae70547e961
  slConcCs c9f558b1c2b09536b1215379ef863bfc
  slEdges c9f558b1c2b09536b1215379ef863bfc
  slKVarCs c9f558b1c2b09536b1215379ef863bfc
  writeEdges ef51f742359e1b490dcec54af017b86e
  writeGraph d4282ed4e9a464fdcbf0fdae2a09bb51
import  -/  Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436
  SubcId 311c8f398e2d0f5e23e664bacb45f905
import  -/  Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971
  CMap f6eaa2c8b036cb0052c0242863f4089d
f9f2f8723a4790077d4f612f316d2991
  $trModule :: GHC.Types.Module
trusted: none
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: