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

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions [orphan module] 8002
  interface hash: e35e9b20925aa1f4522a1b9f35001cf9
  ABI hash: b7f0aa61d5c475fe500e5e08936d5953
  export-list hash: 5f13b307b2544d8a8da5da387960be4a
  orphan hash: f6145a2bceea807ac2bc78b3e69d4f16
  flag hash: 7e2dcab90bf70589aa712dce4d889873
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Types.Substitutions.filterSubst
  Language.Fixpoint.Types.Substitutions.isEmptySubst
  Language.Fixpoint.Types.Substitutions.mkSubst
  Language.Fixpoint.Types.Substitutions.subst1Except
  Language.Fixpoint.Types.Substitutions.substExcept
  Language.Fixpoint.Types.Substitutions.substfExcept
  Language.Fixpoint.Types.Substitutions.targetSubstSyms
module dependencies: Language.Fixpoint.Misc
                     Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint
                     Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts
                     Language.Fixpoint.Types.Spans
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 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
         hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic
         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
         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.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
                         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:Data.Functor 5ab1dc703df5b482e77efb697833ca3c
import  -/  base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88
import  -/  base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11
import  -/  base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1
import  -/  base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439
import  -/  base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511
import  -/  base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771
import  -/  base-4.9.1.0:Text.Printf 6701574960cd2af960fec5d940be0c25
import  -/  ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47
import  -/  Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65
  exports: 3408045fd5294879efb3c76c6b2e957b
  errorstar 38cc16c0836e03b9af68d3c95faef762
import  -/  Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747
  exports: e209cabd872db433abfe12588fd0016b
  Symbol 107cf7489707dd0de1ccae6d6e42b2ab
  dummySymbol 8c75a707c67acc00437691dbdebe1fec
import  -/  Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5
  exports: 34612ba1b0c9e0c5c9e416c7877ea2a9
  Fixpoint ed2c9c62a916ec4b9fedf9553cd44702
  PPrint 78b520d4c3718d2e8c30eba678b273b4
  pprintTidy 80cf56bafb9576f5b408b84cf399259a
  showFix eb3baa422e4ecf285c589d9841a82c5b
  toFix d9f32a4a16e6f96a8d0d9b2cb68e0532
import  -/  Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0
  exports: ad3988e4da25568fd374ece65579ba09
  EApp f28c7506728f5dca0b25fa72af857711
  EBin b68370650d83bb943d8ce8854812774a
  ECst 06c1a8791e33ac7ca6714e477124b679
  EIte 5c7e639e14211792c2af633aaf1234a7
  ELam 7952c5569d03e76870e8a12746cdba85
  ENeg 284e85851508aec78c3b87be0c0aad72
  EVar 566b7c7ff8fdc63c55d18f2d537af0b8
  Expr bb73da387a50fe3797caa66eb4fb9c35
  PAll 3c207c04197a306333e12ea805cc0e1b
  PAnd 434a1d6f3ed5fe9da9c4ef7ee0a5ab14
  PAtom 866d6e2737f3ad25130ad773f2c60d65
  PExist 6ffa4e1862c34ed00f17a1c5df2acdc5
  PGrad 23acd6ca28f3136aab5ec62b271ac653
  PIff ff91f60b88fbd087ae722287900be9ae
  PImp 925695079b283b1b4a08615ff0cba7ee
  PKVar cac5df8173370c1a324ebcbaf20e9f3d
  PNot bf05d60bf54fd329ab000a213583724e
  POr 91663db60e0b5604919103347cf2669f
  PTrue bc0d3a71b6fe213efce25819b87c1a37
  RR 0a874a8408748c051c510af8e624ba5d
  Reft f5a891a2ea821362b40d468df43305ef
  Reft bb73da387a50fe3797caa66eb4fb9c35
  Reftable 3b10b2a85d97918254b10518140e4c90
  SortedReft bb73da387a50fe3797caa66eb4fb9c35
  Su acd90d7a0f67b8cd18a69ccfa56c5243
  Subable e84bd751d6b2f9b6ad5bcdd1f3f43a58
  Subst bb73da387a50fe3797caa66eb4fb9c35
  conjuncts 69fed87359af039cadde0d8b45def559
  falseReft 01918d7ff051bab028ec3cbe87792b2f
  flattenRefas 7a9d5f392829a7bea9876529f17b1efe
  isTauto 49c6341234d20605e52a398e67e6fd9c
  isTautoPred 0b55ae449d7dbd6beb0fdb1eaf64167d
  pAnd 8eafe07d5b6d6c31808f02c13e22e044
  ppTy 325b9017de08e1bea923695272025004
  pprintReft 8f3e728a5752eea4b70a40efd641827f
  reftPred a438607a9f4c12146119a2b257462446
  sr_reft 0905ab9079105db5d28e4595144e31cc
  sr_sort 041bed6b6ff182798e8b8b2890b23c64
  subst a1be563035cd0a1ba7c6137fdc245106
  subst1 e9f69f8049a971314510a206adfbf8a8
  substa e0739441d9838f099c6d0e65063ba4ad
  substf 7816097ad6924b575dd9807a2c63ddfa
  syms 3959efd3a483c9eaea7b62fe89b99ca8
  toReft 64c1e7b751138a90d38d7bc7213200a9
  trueReft 0864a0016cf072940385093f700ef478
import  -/  Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da
  exports: 63c488448e19915f4abf450a4f6b1606
  Sort f220e315b91d89c678725efa47bd0097
import  -/  pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4
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
import  -/  unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67
011a95f42718001934d8bb2c975d24b0
  $fFixpointReft ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
b4fd85a0ecc8cc9e494497513f018b40
  $fFixpointSortedReft ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
27df2eed65852ecb7a9db4d7e6610f91
  $fMonoidExpr ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.Expr
  DFunId
a1acec560c0e3abc66a05cec27eb72a9
  $fMonoidReft ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.Reft
  DFunId
5245ced746b01d86a784c1bb459ccfc0
  $fMonoidSortedReft ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
ebfa25e377bc10e0109ef4363175f933
  $fMonoidSubst ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.Subst
  DFunId
e07b36d11ae7a683966966aa7e32a680
  $fPPrintReft ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
2895383cc5d089237862b53bfc6d713b
  $fPPrintSortedReft ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
5e0531667c21d0bf42ea9fa199c1b28f
  $fReftable() :: Language.Fixpoint.Types.Refinements.Reftable ()
  DFunId
9a57148850ee23a031e20537e85674c6
  $fReftableReft ::
    Language.Fixpoint.Types.Refinements.Reftable
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
52f49718ca93308dbcc07cf846d81561
  $fReftableSortedReft ::
    Language.Fixpoint.Types.Refinements.Reftable
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
e8cdea6df7e8dd71db6ab592e7011be2
  $fShowReft ::
    GHC.Show.Show Language.Fixpoint.Types.Refinements.Reft
  DFunId
4f1bdb0034dba890ce88b13e86282034
  $fShowSortedReft ::
    GHC.Show.Show Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
b90acde5c2d458b955a33d3910b476b1
  $fSubable() :: Language.Fixpoint.Types.Refinements.Subable ()
  DFunId
b81a5616646dd1712a36e7bd7aafe96a
  $fSubable(,) ::
    (Language.Fixpoint.Types.Refinements.Subable a,
     Language.Fixpoint.Types.Refinements.Subable b) =>
    Language.Fixpoint.Types.Refinements.Subable (a, b)
  DFunId
5b42012379cfba55a820765475a32cac
  $fSubableExpr ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Refinements.Expr
  DFunId
08274ac092d739abf72e664ecb3cd9d3
  $fSubableHashMap ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    Language.Fixpoint.Types.Refinements.Subable
      (Data.HashMap.Base.HashMap k a)
  DFunId
fa0856d890622e3905f95d700803d3a8
  $fSubableReft ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
5418309370d661ce6c1fa05f1d8f04da
  $fSubableSortedReft ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
efffbe6d5d7c3f685a0d89d373e9b6d7
  $fSubableSymbol ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Names.Symbol
  DFunId
8f8c71b1761923aab137cf17359a2b0b
  $fSubable[] ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    Language.Fixpoint.Types.Refinements.Subable [a]
  DFunId
e49cd0bff2378ac9a9597486764ea4a6
  $trModule :: GHC.Types.Module
de8a8edf87a3e8e3b2076d55c7a5dd4d
  filterSubst ::
    (Language.Fixpoint.Types.Names.Symbol
     -> Language.Fixpoint.Types.Refinements.Expr -> GHC.Types.Bool)
    -> Language.Fixpoint.Types.Refinements.Subst
    -> Language.Fixpoint.Types.Refinements.Subst
b0ceea85aee3184aa96a8a99866cbe18
  isEmptySubst ::
    Language.Fixpoint.Types.Refinements.Subst -> GHC.Types.Bool
6e7145d21639b1c40a59e5308fa032b9
  mkSubst ::
    [(Language.Fixpoint.Types.Names.Symbol,
      Language.Fixpoint.Types.Refinements.Expr)]
    -> Language.Fixpoint.Types.Refinements.Subst
ffa32c15ca5b46ac4879ef3c5fae986d
  subst1Except ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    [Language.Fixpoint.Types.Names.Symbol]
    -> a
    -> (Language.Fixpoint.Types.Names.Symbol,
        Language.Fixpoint.Types.Refinements.Expr)
    -> a
0388092ec44bf05580dd60c2844a43d2
  substExcept ::
    Language.Fixpoint.Types.Refinements.Subst
    -> [Language.Fixpoint.Types.Names.Symbol]
    -> Language.Fixpoint.Types.Refinements.Subst
002391d69f108c8975f0ba50a4979dbf
  substfExcept ::
    (Language.Fixpoint.Types.Names.Symbol
     -> Language.Fixpoint.Types.Refinements.Expr)
    -> [Language.Fixpoint.Types.Names.Symbol]
    -> Language.Fixpoint.Types.Names.Symbol
    -> Language.Fixpoint.Types.Refinements.Expr
1331113c8758bab34db0ec560ab89846
  targetSubstSyms ::
    Language.Fixpoint.Types.Refinements.Subst
    -> [Language.Fixpoint.Types.Names.Symbol]
instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fFixpointReft
instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fFixpointSortedReft
instance GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Types.Substitutions.$fMonoidExpr
instance GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fMonoidReft
instance GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fMonoidSortedReft
instance GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.Subst]
  = Language.Fixpoint.Types.Substitutions.$fMonoidSubst
instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fPPrintReft
instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fPPrintSortedReft
instance Language.Fixpoint.Types.Refinements.Reftable [()]
  = Language.Fixpoint.Types.Substitutions.$fReftable()
instance Language.Fixpoint.Types.Refinements.Reftable [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fReftableReft
instance Language.Fixpoint.Types.Refinements.Reftable [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fReftableSortedReft
instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fShowReft
instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fShowSortedReft
instance Language.Fixpoint.Types.Refinements.Subable [()]
  = Language.Fixpoint.Types.Substitutions.$fSubable()
instance Language.Fixpoint.Types.Refinements.Subable [(,)]
  = Language.Fixpoint.Types.Substitutions.$fSubable(,)
instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Types.Substitutions.$fSubableExpr
instance Language.Fixpoint.Types.Refinements.Subable [Data.HashMap.Base.HashMap]
  = Language.Fixpoint.Types.Substitutions.$fSubableHashMap
instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fSubableReft
instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fSubableSortedReft
instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Names.Symbol]
  = Language.Fixpoint.Types.Substitutions.$fSubableSymbol
instance Language.Fixpoint.Types.Refinements.Subable [[]]
  = Language.Fixpoint.Types.Substitutions.$fSubable[]
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False