==================== FINAL INTERFACE ====================
2017-05-02 18:37:12.688822 UTC

interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph 8002
  interface hash: 2e2bbf93047bcdd65ef5f993ba0bdd25
  ABI hash: 96b1659cd922559f07884eea5976fb53
  export-list hash: dad5544a3a41a5c3c772ca79356d39ad
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 942dd8a3565e2ef1a81fdce81e5ee716
  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.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.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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints
         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments
         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors
         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names
         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements
         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans
         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Types
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Config
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Solutions
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Sorts
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans
                         liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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:Prelude 22dd289b8469a8fa8dc81cab7b237771
import  -/  Language.Fixpoint.Graph.Deps e0c16eb9751bfcf4ebf1a8fff4e87d4c
  exports: d3caa92ef0344ae02ff65ece3f6ff911
  Deps 96247b52f3d9c3a477eba6dbbd463d6a
  Elims aa132080ffed998e6d8b22d768fb947b
  decompose b04b584a66ff02ec06cad80d94b72146
  depCuts 83d1edc1722d736fb5b5a3aa5d820ae7
  depNonCuts 06fa0366722b2884b2aaf64ea62a68e8
  elimDeps 5665258949b04edd49306c81248cfba0
  elimVars 79f5aa78d78e83cef63fd4dd235ff9b6
  graphStatistics ba6d87d5443281b758cf4be72c2f3799
  isTarget 6782583cf6b58e5237626b8fd737ad77
  kvEdges f940abc15579978762776e660e827d95
  slice 193a333b665d84fc9d67b77efe5ba4de
import  -/  Language.Fixpoint.Graph.Partition a564ef7164aba59432a750fd2fa72ad6
  exports: e28e7ef4b1a924ccc45ab45862fb2004
  CPart 292c1b9b617e2f81d7865cc58ecfae15
  CPart fbc532eca1a5e5efd20f7b00b2ccbcb8
  MCInfo 062ad85fa4ec107ebc680ead1f4a3a43
  MCInfo cda0b3c9bf6295683b63c239c18def08
  dumpPartitions 9eb22712218e3dd0b3edacc2b6a64362
  mcCores 16c184e2111fc18c45eb67b4d7b8dabd
  mcInfo 69679cecb02df47aa946c9cbab697449
  mcMaxPartSize 0bf5ed078998c22e0e1d538759410ede
  mcMinPartSize 2a35c45a76d84b1971c3c259e6a60ee1
  partition c4307a2fa21cc63f59feb03253a7acd3
  partition' 968dd790e46c5ddf1a99a826058b1b68
  partitionN e548989fd65d35feffaafcbc24a4f7aa
  pcm e7a811d6a5b55beef9a085d96a0c39d9
  pws 323d92e3d9f8b633406b17cc43379185
import  -/  Language.Fixpoint.Graph.Reducible 1ab4d22f279e9eae9aeab566a64a4686
  exports: 7e5235921cd84ebead6aa8347c0eac49
  isReducible c6168ca300b75c056e1ba7b4a4aff628
import  -/  Language.Fixpoint.Graph.Types 23e94ee5d5e98322336fb70c8000a321
  exports: b52987cff51a351c36be19c844de97bf
  CDeps 06921e276f39c4e7b95fbe6bcacf0ad0
  CDs 43218d331883e2dce5d6a0bebd96e2a2
  CEdge f2f17be8bf25ad841321175f992cca78
  CGraph f44ebf3b1fdf0cea81ac142be6e16d97
  CGraph a00d3fee1cfde56cbc1d47f5041c3776
  CVertex 0a404ef06dd0fe2a92eb89159f1cc655
  Comps 62bad75a35b5da1349b9c4ed4d80fd9b
  Cstr 208edca12160ed50062c4f24b3d2f6a3
  DKVar 9fdc63b7eded96b193bb7266df2c5861
  DepEdge 4ac4a2286cc4dbe020da97cce3aeac2f
  KVComps f02f016fbc88b05aff52f4624502d85e
  KVGraph 8946d4b9b790cc314663aac4d7d08389
  KVGraph b350bdb5a7896fc566951f49e5d673e8
  KVRead 82dc6a3d31252d41a14d27a8a93daf8c
  KVar 8c108f3d54252c748cec2f60aab62495
  Rank 9c156fd19ddb73ccd52e0845e9f1b10f
  Rank cf314d50132935d83698ee9a30f06daa
  SI 3793dbf1e3a52671229c757903084a70
  Slice 7928ca6f16eed2b0d5139a9f65db4d4b
  Slice 3c18a9686e97cbaaa1d4bfeafea94b61
  SolverInfo b09606704f7bdb5375f8da175b8cd7d6
  cNumScc 87afa682c8dd1e9f69a5fe4b0723474f
  cPrev 44378df15353951216d40984b9a58e96
  cRank 91056843e7d1f21a2e9caef0fc08c864
  cSucc 684fe736a36e83079101e58c12b55d5f
  gEdges 7a54076485610616456519238fb8ee79
  gRanks a2226659a6bb28e4f5737627792d0432
  gSccs 3ad3f4a0066333ba021b163c1a36474a
  gSucc f998472e929f2cacdb54dfb2bca77586
  isRealEdge 6bbecf5086b9c6a3359a2eabd0386ad0
  kvgEdges eb6fa0ecc67f707c0c302a0c538300eb
  lookupCMap 0870815b0e5edc51d8f96c01a17ac04c
  rIcc 38bf3bd76439a8f20c1e4e127885f6df
  rScc af46031dd918d7df1ae12f39ce98f7c5
  rTag 0453fee5f00783343cf64781fece1ecc
  siDeps dc379f0c79c4322eafe1ce9d7d223789
  siQuery 4e84f9d57ae07ea9ec3747b32c2c102f
  siSol dff0082a2d59e24319611bdab2e6e0f2
  siVars 35f5142e8f813175a34215ca8bd6fe2d
  slConcCs e83121ef94259addc17e0c64d874dff8
  slEdges 90252d67d85dea8f83277d2ba9896cc8
  slKVarCs 08cb92300a4bebebaccec0550947b094
  writeEdges e7e46503d1f68a4a19fe84f261e36cdd
  writeGraph c3658bfac120e3d950432f4c1c8acbfe
import  -/  Language.Fixpoint.Types.Constraints dc475bd125456ae511f39eb7bfb576f7
  SubcId cdcef876bb053a43ceafb5cadfe2311f
import  -/  Language.Fixpoint.Types.Solutions 44253093d8f715e38f38f5864906aa91
  CMap 60b1399c548e67aa6e3ae48b1aff972a
4e3fb6eb254d39efc5aa48c5e81761da
  $trModule :: GHC.Types.Module
  {- HasNoCafRefs, Strictness: m,
     Unfolding: (GHC.Types.Module
                   Language.Fixpoint.Graph.$trModule2
                   Language.Fixpoint.Graph.$trModule1) -}
b4a9303a6c3694e7c0dd42232abf5d4e
  $trModule1 :: GHC.Types.TrName
  {- HasNoCafRefs, Strictness: m1,
     Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Graph"#) -}
64dad0a65b7354789e6d19bc525ce619
  $trModule2 :: GHC.Types.TrName
  {- HasNoCafRefs, Strictness: m1,
     Unfolding: (GHC.Types.TrNameS
                   "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -}
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False