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

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Solver.UniqifyKVars 8002
  interface hash: 1e2406c1003bd47d56f827f0eab72aae
  ABI hash: 9be7f6a18b000000ba4229abe0b79c93
  export-list hash: ab96b4fb15089ad60900c2b9bcc3b0ef
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 290904bdd039286216ab63d3cb89116c
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Solver.UniqifyKVars.wfcUniqify
module dependencies: Language.Fixpoint.Misc 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.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
                      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
                      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
                      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
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
                         intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text
                         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.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:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2
import  -/  base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1
import  -/  base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771
import  -/  Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2
  exports: 0af36b6c83c4ee67c2150e62bec20e14
import  -/  Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba
  SInfo c4bf42c4a9b32550baf9a82ec918fc53
  WfC 17c7f6e4d74d3b539dca7c3556bc9f4f
  bs d61bc046b917adffb7499296cdd6f706
  updateWfCExpr 47d65d18378d284f139632e36b618705
  wenv 33a9fbd5d0ed8c2940233f2b555706e7
  wrft d83900b61f262b29c1f6a26d0573c4bf
  ws fef3eea7365ecfd2111de5aae1af543e
import  -/  Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e
  BindId 6733d8cce8f3a70fc98d8a2dd05b900e
  elemsIBindEnv b36a4dfe9459424486b2e816e214bf76
  insertBindEnv b202cffa41e2c2a9ab3c1ab64bb7638c
  insertsIBindEnv de3368f96bdbb498df263d1c3ee28507
  lookupBindEnv b14112e4f970f3f7f409de20a2723561
import  -/  Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747
  Symbol 107cf7489707dd0de1ccae6d6e42b2ab
  kArgSymbol c8be61387ee0930c54014734862b08f4
import  -/  Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0
  EVar 566b7c7ff8fdc63c55d18f2d537af0b8
  KVar 68dcac5ad144e4854dc35cff62d456d0
  SortedReft bb73da387a50fe3797caa66eb4fb9c35
  Su acd90d7a0f67b8cd18a69ccfa56c5243
  Subst bb73da387a50fe3797caa66eb4fb9c35
  eVar 74d88810d65881403751f807b276cb41
  kv bb2afc8e5a8d91f2d856857603fdfa52
  sr_sort 041bed6b6ff182798e8b8b2890b23c64
  subst a1be563035cd0a1ba7c6137fdc245106
  top c566d350ff8bc4d87ab2528fd94a7151
  trueSortedReft b9ab5bf257160e1701923bdcd3c106e8
import  -/  Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da
  FAbs 7840ea6edf29d87e456dcd229d23b236
  FApp 0d778f8ab563be9b74efba26752659e5
  FFrac 1d366d6c99ee61a176d026427738ef15
  FFunc 473e46f2d365158eafcff416210e5309
  FInt 9d74d7cd5512a4228d6ccdde4da2c696
  FNum 68ca110aac9d4237b722b9c00b9e0b38
  FObj 4e5ed6b9ce7311bcbda3bd006e5bfe03
  FReal 6208a3226e45c9f5b043cd697ddef672
  FTC f46dd304d00e54864e7ceb0627a8a207
  FVar b06369bc046a2ba909f1322bb5457eed
  Sort f220e315b91d89c678725efa47bd0097
import  -/  Language.Fixpoint.Types.Substitutions b7f0aa61d5c475fe500e5e08936d5953
  mkSubst 6e7145d21639b1c40a59e5308fa032b9
import  -/  Language.Fixpoint.Types.Utils 181db872854012ee16c287a57782a1d9
  kvarDomain 1447f47ba133b87500ea1e2ea7e571b3
import  -/  Language.Fixpoint.Types.Visitor 562b326437be6bf1306273f048769e9c
  exports: af05a96a471de9ae7bb1b445015e81c2
  mapKVarSubsts 3e759d4901ce8c5e61397181a4540133
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
7d6337d11aaac845482cfa58fa2fa33e
  $trModule :: GHC.Types.Module
7e6cf87f7b1f01e5be5af252f5d8b7c3
  wfcUniqify ::
    Language.Fixpoint.Types.Constraints.SInfo a
    -> Language.Fixpoint.Types.Constraints.SInfo a
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False