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

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions [orphan module] 8065
  interface hash: 03e4ca5bdd9c38d139a02883cc657327
  ABI hash: 68389730f57eb1bd783731c1e8e83435
  export-list hash: 49819ba83f4a612781a90fc7826a8b86
  orphan hash: 67388474745ee5eef32ebb05c489d239
  flag hash: 44f8084eb2d604b2f2a980aeb95a89a5
  opt_hash: d0a78e7b344f95c7406be35c9b75e196
  hpc_hash: 93b885adfe0da089cdf634904fd59f71
  plugin_hash: ad164012d6b1e14942349d58b1132007
  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 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 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 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 time-1.8.0.2 unix-2.7.2.2 unordered-containers-0.2.9.0
orphans: 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
                         intern-0.9.2:Data.Interned.Internal.Text
                         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.Sorts
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans
                         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:Data.Foldable efb37371da929e7bc88d896298d2d979
import  -/  base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075
import  -/  base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f
import  -/  base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e
import  -/  base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff
import  -/  base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import  -/  base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a
import  -/  base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276
import  -/  base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  base-4.12.0.0:Text.Printf d9e1f32eb8aa55bafa1cf4360210b275
import  -/  ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
import  -/  Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5
  exports: c71e07620cb71e48240d161f1a37aa5e
  errorstar e47c2d482124b43e020a405f809adcff
import  -/  Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a
  exports: 45d7959603a132b65636c5a341548000
  Symbol 3f986d27cdf6315dd770c516fc00a643
  dummySymbol 511b7e2d64aed867c4c005991f9f72f8
import  -/  Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
  exports: 83877bba67b408c83589a0ff3bac0070
  Fixpoint 98d26628e0637967f879c1c12cfa20b7
  PPrint 1f29b3f207492ffa2323c20e2c1b7b4a
  pprintTidy bf75bee99d55ab15929b450195e64f3c
  showFix 3e850f4dba10210e482ff12d7ed17f7e
  toFix 9b9c41ae3aa868a1e0f4e73cde8032e0
import  -/  Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc
  exports: c373b88351492ec6aa75dffded20541a
  EApp 54242238b0fd99173645e603ea6a95e1
  EBin 584c6077045554d53d7c9a89592b60d3
  ECoerc d62592d9495e238bd832577950db4048
  ECst 77d8fb760e457bfd124c455ed691c864
  EIte bcb7471d1eafba69c1a57099f120b1bb
  ELam e0029a0f9c90cfaf5ca8a8fc8de8a995
  ENeg c7c4772e5c9c737684dc4ada02f5ae77
  EVar dbcccd19fa06e8cd413d3f8989324ef6
  Expr 58dd7eff6040aa97f060415235c6cb01
  PAll 95061dd88b416f835271772df1b74807
  PAnd 668269c725f0f517f2cefead144acbec
  PAtom efd69e8b2834a0937ec103ca6d2f2b7d
  PExist c6ca2ca0202788949bf0d916db637f7a
  PGrad 550de568c0242ed5fa6ef66e4aa1194d
  PIff 2a17d6131a34fb2676761302524edfd8
  PImp 71d909aca81df6b76b372b30b2979f8d
  PKVar 00776deded6bdc1a9b45a9cd2ff73aa5
  PNot dd52d33c67ccd94ba2b9bc2daaf6153f
  POr 8896d8a5009f7964d0fb6a9c72eaff6c
  PTrue 1c366fec6a192dc993b90d2b711bd4f4
  RR bc18741bade52dfcbbbc2473e1b91821
  Reft 11628612f280bce553f9c182ec061ec6
  Reft 58dd7eff6040aa97f060415235c6cb01
  Reftable 738eabb2ee802fda7927d4314d5a74cc
  SortedReft 58dd7eff6040aa97f060415235c6cb01
  Su c7f0aa4f362b23d4096b7fbf274dffd0
  Subable 60165a51c7f24051113a59802b59cd27
  Subst 58dd7eff6040aa97f060415235c6cb01
  conjuncts 62dbde6d56cf10a600838f12dff254d8
  falseReft 56dc7aa135c7f2cf2d6085fd13aa9f31
  flattenRefas b8215ffd161e9bc87acce9aab28f717b
  isTauto 2fb0b34f6b8aac8f204ebb27337a74a2
  isTautoPred b0ebfe363526526426c55e6ea6cc9f4d
  pAnd d997a1bd3b1f67d4020526858eca07c4
  ppTy 8a7045fe2d62924c4098d577aeba3312
  pprintReft 3e88a67daabcdb054a134b4aadd1cb16
  reftPred 9d7b055289a88730385e70810b114b97
  sr_reft 58dd7eff6040aa97f060415235c6cb01
  sr_sort 58dd7eff6040aa97f060415235c6cb01
  subst 8dc51beb28f3e734b2b3097edf7df9c8
  subst1 32fda17df52baa2dc57c3f6fcba8c1ae
  substa 4128f370b0314e7d7d083d0dc7d38a4c
  substf 2a7829ff8a455a2f5d2182c05514a458
  syms cedb5518769db9d49f4ce507184c5e1f
  toReft 77e93efea506581a890f1bcdd406ae31
  trueReft b1755155d9be8c8f361db2f542991fc4
import  -/  Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6
  exports: b866d80011faf2d8f77449fdc11dc733
  Sort 30d6fd7d99459ff88296e3b55c87b46c
import  -/  Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7
  exports: b9ce07b355a8008b66354a61d479f549
import  -/  pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474
import  -/  unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc
import  -/  unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b
import  -/  unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613
ae1e1d3d04fd3f5f35c38072f47679b3
  $fFixpointReft ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
8e8b81889248d84d298fa469ea1c0e0d
  $fFixpointSortedReft ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
1fdae0a326baa1063cb6b634fc54f1dd
  $fMonoidExpr ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.Expr
  DFunId
766c52f37921b6cdb37f19ac244eda82
  $fMonoidReft ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.Reft
  DFunId
8b20eba8bc4ee989752ce60a5c49cf98
  $fMonoidSortedReft ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
6f5b512e55729719012286d5a7df4656
  $fMonoidSubst ::
    GHC.Base.Monoid Language.Fixpoint.Types.Refinements.Subst
  DFunId
9d957d62bdf4a588f275b68b4ef7fe37
  $fPPrintReft ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
86ed8d11acfd54e7e6deffdc337f12b6
  $fPPrintSortedReft ::
    Language.Fixpoint.Types.PrettyPrint.PPrint
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
e2f31c0ccbd00f69947c2f4e05951939
  $fReftable() :: Language.Fixpoint.Types.Refinements.Reftable ()
  DFunId
af604a6ef52b6a0163903219b5714ff8
  $fReftableReft ::
    Language.Fixpoint.Types.Refinements.Reftable
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
a709e08568f87657fcc875b0e1977449
  $fReftableSortedReft ::
    Language.Fixpoint.Types.Refinements.Reftable
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
048234c4ca0f2cc9116698f55ef662f9
  $fSemigroupExpr ::
    GHC.Base.Semigroup Language.Fixpoint.Types.Refinements.Expr
  DFunId
e59c4d70162ad06fcd33252726cdf880
  $fSemigroupReft ::
    GHC.Base.Semigroup Language.Fixpoint.Types.Refinements.Reft
  DFunId
769edeb9be93bc3b693df0e8631fa196
  $fSemigroupSortedReft ::
    GHC.Base.Semigroup Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
24da7a6a00a40dc2c966e0634e530bb2
  $fSemigroupSubst ::
    GHC.Base.Semigroup Language.Fixpoint.Types.Refinements.Subst
  DFunId
a2207580036546c7c9de84832319eb47
  $fShowReft ::
    GHC.Show.Show Language.Fixpoint.Types.Refinements.Reft
  DFunId
c70bdc8b5097e9af3da2b1c9a21d814a
  $fShowSortedReft ::
    GHC.Show.Show Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
54e19a77088452f61bf78a9f374a69a2
  $fSubable() :: Language.Fixpoint.Types.Refinements.Subable ()
  DFunId
1969ad72a568a46de12a373a0a24c800
  $fSubable(,) ::
    (Language.Fixpoint.Types.Refinements.Subable a,
     Language.Fixpoint.Types.Refinements.Subable b) =>
    Language.Fixpoint.Types.Refinements.Subable (a, b)
  DFunId
dd2e5e7e65b9b891cfc6629bad629934
  $fSubableExpr ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Refinements.Expr
  DFunId
def2c1facc7a827293f0d167809c7918
  $fSubableHashMap ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    Language.Fixpoint.Types.Refinements.Subable
      (Data.HashMap.Base.HashMap k a)
  DFunId
bf7d6c2bc5d0ec360f561abab0b0749e
  $fSubableMaybe ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    Language.Fixpoint.Types.Refinements.Subable (GHC.Maybe.Maybe a)
  DFunId
ad5a136caacbd0785b7f08d3d1b50f9b
  $fSubableReft ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
b155157508fb72ed7e03f059a65e62d9
  $fSubableSortedReft ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
5f706aec5db36d1a5f204902f2fb964c
  $fSubableSymbol ::
    Language.Fixpoint.Types.Refinements.Subable
      Language.Fixpoint.Types.Names.Symbol
  DFunId
0a44982ec5e57308b1f74d2e62efad16
  $fSubable[] ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    Language.Fixpoint.Types.Refinements.Subable [a]
  DFunId
2234f7c84fcd380066219e63ba58616a
  $trModule :: GHC.Types.Module
a8845b356747c805d1596dd5efe45eb4
  filterSubst ::
    (Language.Fixpoint.Types.Names.Symbol
     -> Language.Fixpoint.Types.Refinements.Expr -> GHC.Types.Bool)
    -> Language.Fixpoint.Types.Refinements.Subst
    -> Language.Fixpoint.Types.Refinements.Subst
b3b6c49fe47730d145bb45f196f54731
  isEmptySubst ::
    Language.Fixpoint.Types.Refinements.Subst -> GHC.Types.Bool
fa0e5a33f52a68ffd2f44ba8a067ca8c
  mkSubst ::
    [(Language.Fixpoint.Types.Names.Symbol,
      Language.Fixpoint.Types.Refinements.Expr)]
    -> Language.Fixpoint.Types.Refinements.Subst
ae4e04a9fe86d9ade3f611535a7f260c
  subst1Except ::
    Language.Fixpoint.Types.Refinements.Subable a =>
    [Language.Fixpoint.Types.Names.Symbol]
    -> a
    -> (Language.Fixpoint.Types.Names.Symbol,
        Language.Fixpoint.Types.Refinements.Expr)
    -> a
1abce49e4e9f05aaea7ec2f0c6647e6f
  substExcept ::
    Language.Fixpoint.Types.Refinements.Subst
    -> [Language.Fixpoint.Types.Names.Symbol]
    -> Language.Fixpoint.Types.Refinements.Subst
016109889f0d23092e34c94006e42bbc
  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
f91740e29436bd17eec2f55bb31a870d
  targetSubstSyms ::
    Language.Fixpoint.Types.Refinements.Subst
    -> [Language.Fixpoint.Types.Names.Symbol]
instance [orphan] Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fFixpointReft
instance [orphan] Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fFixpointSortedReft
instance [orphan] GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Types.Substitutions.$fMonoidExpr
instance [orphan] GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fMonoidReft
instance [orphan] GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fMonoidSortedReft
instance [orphan] GHC.Base.Monoid [Language.Fixpoint.Types.Refinements.Subst]
  = Language.Fixpoint.Types.Substitutions.$fMonoidSubst
instance [orphan] Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fPPrintReft
instance [orphan] Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fPPrintSortedReft
instance [orphan] Language.Fixpoint.Types.Refinements.Reftable [()]
  = Language.Fixpoint.Types.Substitutions.$fReftable()
instance [orphan] Language.Fixpoint.Types.Refinements.Reftable [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fReftableReft
instance [orphan] Language.Fixpoint.Types.Refinements.Reftable [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fReftableSortedReft
instance [orphan] GHC.Base.Semigroup [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Types.Substitutions.$fSemigroupExpr
instance [orphan] GHC.Base.Semigroup [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fSemigroupReft
instance [orphan] GHC.Base.Semigroup [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fSemigroupSortedReft
instance [orphan] GHC.Base.Semigroup [Language.Fixpoint.Types.Refinements.Subst]
  = Language.Fixpoint.Types.Substitutions.$fSemigroupSubst
instance [orphan] GHC.Show.Show [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fShowReft
instance [orphan] GHC.Show.Show [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fShowSortedReft
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [()]
  = Language.Fixpoint.Types.Substitutions.$fSubable()
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [(,)]
  = Language.Fixpoint.Types.Substitutions.$fSubable(,)
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Types.Substitutions.$fSubableExpr
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Data.HashMap.Base.HashMap]
  = Language.Fixpoint.Types.Substitutions.$fSubableHashMap
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [GHC.Maybe.Maybe]
  = Language.Fixpoint.Types.Substitutions.$fSubableMaybe
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Types.Substitutions.$fSubableReft
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Types.Substitutions.$fSubableSortedReft
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Names.Symbol]
  = Language.Fixpoint.Types.Substitutions.$fSubableSymbol
instance [orphan] Language.Fixpoint.Types.Refinements.Subable [[]]
  = Language.Fixpoint.Types.Substitutions.$fSubable[]
trusted: none
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: