==================== FINAL INTERFACE ====================
2017-05-08 17:11:19.849176 UTC

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph 8002
  interface hash: f66b693f64ad103a43c9908f5af4166b
  ABI hash: b82de3fe19e489728a006f34ca233f46
  export-list hash: f29a81bba44f58369c2c25b733ebd06a
  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-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:Prelude 22dd289b8469a8fa8dc81cab7b237771
import  -/  Language.Fixpoint.Graph.Deps eeddef0c8a8bfd0d61769d397e7bdea8
  exports: fe28eb39e40656718a7418cd2daa6f59
  Deps 4e4f507741a54f4f6dce51912f48f49b
  Elims 2583e0f914b759d8a5a703086d69de02
  decompose 7fb7482120823c3ca4eb24be2e96918b
  depCuts 0ba169c98b7e4a2190f2d50db30bb9bd
  depNonCuts cd179f979273dd85744a82e9d94f1d80
  elimDeps 18749b6dfab2445a519872d141ea6296
  elimVars a03626a1f0cf100e28ecd32f8efb7a4a
  graphStatistics f2e5384a7daad7f4854387c09002e45d
  isTarget fa8c703b22762bc9fd8ef1c3f9318459
  kvEdges e623a2f7dd33603514b4490fe54a6a7c
  slice 8123aa5f119b2a24e0ae8d570b08c6da
import  -/  Language.Fixpoint.Graph.Partition aa3130ecfc62cced6c8207efef6e9329
  exports: 29468d3688c11f5bc8d424f2829ed68c
  CPart abece3355cccc8da1fd49d2ce862e586
  CPart 0c3629aa0bbe4b4edf5bbd669d156dc5
  MCInfo eddd0aae01766a38bebad845466458c4
  MCInfo f09bb0acbf045dbd14c2dcd56fe2d4b2
  dumpPartitions 0b6e8887fc8705ddf6b38cef006e00ec
  mcCores ad0363677b5b34b24c8117953cd01b93
  mcInfo 320a8d94b58dd9c49994b270eea7b2d9
  mcMaxPartSize 587b685ef50c2ba40d8e153d662615d1
  mcMinPartSize 8cd6664444e28a86bb3d371932376fda
  partition 8311fcf14cf7bbfc61d0a05c1866b570
  partition' 7a4b204ac4742210cd5f57de12beb268
  partitionN 7e67ca967826c5fce2e124699254c115
  pcm 7af2a92c2783c3fdd4024531e11157f9
  pws e26ba12546c34728646df1c125abe943
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
  Comps 1fe7129b67bcc5626b325c686ba2f2b0
  Cstr 9f7a0602cf644cebad4f46b3e1d3ddb0
  DKVar 2def21b61d47d4a918717912406d0c3e
  DepEdge 64e3eed034d414c1367df64227ac4b1a
  KVComps dcdfafc92b5824d29bbba8579e583e11
  KVGraph 34e08aba02316ca1858d6964fdb4676a
  KVGraph ab1d23f53f34d4b1d3dc9d61914a27c1
  KVRead a0e3ca47fce00cd7b986134304daba47
  KVar 1738b6d2073e8379c999219ae6dba001
  Rank 780da149df3b7b6d246f81e35da34036
  Rank 26496422ee574ef263cabd9154cda099
  SI 7405bc52a9bc324b7d232cf4120b3313
  Slice c3e53df7f94d92319b025408fc0157de
  Slice 2ea73990b60a39c7e77086a6159928f6
  SolverInfo c362b065c92c3113c1528892cd351cac
  cNumScc c5881a4eacb010b021dce1070cfecdb4
  cPrev 61697da14e037b8e57339f7aa3854848
  cRank d181f189312d621f71298852433ae6e4
  cSucc 0462374c6b2e1a5d14790a86590c6335
  gEdges c62a14b5a40783f104379f57ad18f2b4
  gRanks 66acc03b09b4c839dbc647983f9880cb
  gSccs 878c9ddce6abf71207f2c197787f6849
  gSucc e0530c7cd12d5ca72b97a38056cf31c1
  isRealEdge 3a95b3b83219ccf8f3a9526ab246490f
  kvgEdges 2d6e01fd696dec24e4e2113cd5e5548d
  lookupCMap 845a8cb4fb5945a16966f35a7a2a1c22
  rIcc fb582086dc2c1a1bc7fd6855859680f5
  rScc 43d00d9fc7121b5aabeecc4a851b097e
  rTag ac1e195f51c859748e6a69defecfbe62
  siDeps c49f9064c2c90185c51aac7cf6a93e67
  siQuery 72baca26aaf0b3a37bbcd7d3d0a4130d
  siSol cac22876dc8dcd529a6f84c7b529a082
  siVars 38e662a42a0435f735bc002ce5721ba7
  slConcCs aa18f409e294e329c4bebc9353a1359f
  slEdges 783e1efa7366e116d159d6f1d227c458
  slKVarCs 718d7b713629470d0db77ac0a3742f4e
  writeEdges bc1cf478a249bf8fbab8486519eea9fb
  writeGraph cc75726e259f63ba241ad38574eabcf3
import  -/  Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba
  SubcId 026af1096155a8461a8bb708fa9cb06e
import  -/  Language.Fixpoint.Types.Solutions 01540e295b430bf658940ab1fd78ff64
  CMap 4ba072cfaa176189a6c47d66be05d6b4
3fdb123afb6d4f076230f6a3e9a1e9aa
  $trModule :: GHC.Types.Module
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False