==================== FINAL INTERFACE ====================
2017-05-08 17:10:59.206752 UTC

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts [family instance module] 8002
  interface hash: cc089cd69a7f70e65259386b900f3d46
  ABI hash: 83ad94f859259f35d028eee3fcecd8da
  export-list hash: 63c488448e19915f4abf450a4f6b1606
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: 5233216f1508d82b92884347b99f7a79
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Types.Sorts.bitVecSort
  Language.Fixpoint.Types.Sorts.bkFFunc
  Language.Fixpoint.Types.Sorts.boolFTyCon
  Language.Fixpoint.Types.Sorts.boolSort
  Language.Fixpoint.Types.Sorts.fApp
  Language.Fixpoint.Types.Sorts.fApp'
  Language.Fixpoint.Types.Sorts.fAppTC
  Language.Fixpoint.Types.Sorts.fObj
  Language.Fixpoint.Types.Sorts.fTyconSort
  Language.Fixpoint.Types.Sorts.fTyconSymbol
  Language.Fixpoint.Types.Sorts.funcSort
  Language.Fixpoint.Types.Sorts.functionSort
  Language.Fixpoint.Types.Sorts.intFTyCon
  Language.Fixpoint.Types.Sorts.intSort
  Language.Fixpoint.Types.Sorts.isFirstOrder
  Language.Fixpoint.Types.Sorts.isListTC
  Language.Fixpoint.Types.Sorts.isNumeric
  Language.Fixpoint.Types.Sorts.isReal
  Language.Fixpoint.Types.Sorts.isString
  Language.Fixpoint.Types.Sorts.listFTyCon
  Language.Fixpoint.Types.Sorts.mapSort
  Language.Fixpoint.Types.Sorts.mappendFTC
  Language.Fixpoint.Types.Sorts.mkFFunc
  Language.Fixpoint.Types.Sorts.numFTyCon
  Language.Fixpoint.Types.Sorts.realFTyCon
  Language.Fixpoint.Types.Sorts.realSort
  Language.Fixpoint.Types.Sorts.setFTyCon
  Language.Fixpoint.Types.Sorts.setSort
  Language.Fixpoint.Types.Sorts.sortFTycon
  Language.Fixpoint.Types.Sorts.sortSubst
  Language.Fixpoint.Types.Sorts.strFTyCon
  Language.Fixpoint.Types.Sorts.strSort
  Language.Fixpoint.Types.Sorts.symbolFTycon
  Language.Fixpoint.Types.Sorts.symbolNumInfoFTyCon
  Language.Fixpoint.Types.Sorts.FTycon
  Language.Fixpoint.Types.Sorts.Sort{Language.Fixpoint.Types.Sorts.FAbs Language.Fixpoint.Types.Sorts.FApp Language.Fixpoint.Types.Sorts.FFrac Language.Fixpoint.Types.Sorts.FFunc Language.Fixpoint.Types.Sorts.FInt Language.Fixpoint.Types.Sorts.FNum Language.Fixpoint.Types.Sorts.FObj Language.Fixpoint.Types.Sorts.FReal Language.Fixpoint.Types.Sorts.FTC Language.Fixpoint.Types.Sorts.FVar}
  Language.Fixpoint.Types.Sorts.Sub{Language.Fixpoint.Types.Sorts.Sub}
  Language.Fixpoint.Types.Sorts.TCEmb
module dependencies: Language.Fixpoint.Misc
                     Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint
                     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.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.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.Data da440c60016500822a3d4307ca5dea66
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.List 07ae2acca6538aa0800bd0a993ac6ac1
import  -/  base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88
import  -/  base-4.9.1.0:Data.Monoid 51cc9cd8c130d49ba96b7c2c2406022b
import  -/  base-4.9.1.0:Data.Typeable 9257e47d10882145c67c5b489965cfb7
import  -/  base-4.9.1.0:Data.Typeable.Internal 0e9bdefa4325a0112d8e73b5e1e1f85d
import  -/  base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1
import  -/  base-4.9.1.0:GHC.Err 3bba35a16538d33d424682ce66876cdd
import  -/  base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b
import  -/  base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439
import  -/  base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8
import  -/  base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511
import  -/  base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771
import  -/  binary-0.8.3.0@binary-0.8.3.0:Data.Binary 68bf10cd9cced43ad785ce79fc9157c3
import  -/  binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Class 74e43ac8c719b63390fb5224488bc2fa
import  -/  deepseq-1.4.2.0@deepseq-1.4.2.0:Control.DeepSeq 0a99763cf6016b16bbf55422778a79b2
import  -/  ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47
import  -/  ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45
import  -/  hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable 7d10d34251a69a2590fb6d42e4140fe6
import  -/  hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Class 8a5b5f72682ff3e25541f7e85c3ab8dc
import  -/  Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65
  exports: 3408045fd5294879efb3c76c6b2e957b
  ListNE 96545dcc18370491ee873ce561f5184d
  errorstar 38cc16c0836e03b9af68d3c95faef762
  intersperse dbfdf6e9d51ac2b8589b2dc3bd858af5
import  -/  Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747
  exports: e209cabd872db433abfe12588fd0016b
  LocSymbol 2b097f7c1b442bde052125f99a321ad2
  Symbol 107cf7489707dd0de1ccae6d6e42b2ab
  bitVecName a15979b9ee7bb5c0801fa50cf2c2af9b
  listConName f2421ca72676de34980131376e2df97e
  listLConName 499280fc0152faf3aa47afa73421e3cc
  mapConName 7daa5f8b4759118cdc0fd6de6899a39c
  setConName d3d1e5b4aaed620179e41242d2d62676
  size32Name 14a55a3ed5974b00796b9315eecb5f6c
  strConName ad91720fa7cff7d04f773d416e54cc52
import  -/  Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5
  exports: 34612ba1b0c9e0c5c9e416c7877ea2a9
  Fixpoint ed2c9c62a916ec4b9fedf9553cd44702
  toFix d9f32a4a16e6f96a8d0d9b2cb68e0532
import  -/  Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312
  exports: 464bc9758a033004e0503ec01433df74
  Located 3776dcc969376081bef9e6f9cda8b19a
  dummyLoc d9a4d6c1139778cf6add05a4788d63ce
  val d4806808748b4175bb76acacd6ac41b8
import  -/  pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4
import  -/  syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics ea99a8062a9608312218ffd7309b5391
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
f220e315b91d89c678725efa47bd0097
  $fBinaryFTycon ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fBinarySort ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.Sort
  DFunId
f220e315b91d89c678725efa47bd0097
  $fBinarySub ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.Sub
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fBinaryTCInfo ::
    Data.Binary.Class.Binary Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fDataFTycon :: Data.Data.Data Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fDataSort :: Data.Data.Data Language.Fixpoint.Types.Sorts.Sort
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fDataTCInfo :: Data.Data.Data Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fEqFTycon :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fEqSort :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.Sort
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fEqTCInfo :: GHC.Classes.Eq Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fFixpointFTycon ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fFixpointSort ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint
      Language.Fixpoint.Types.Sorts.Sort
  DFunId
f220e315b91d89c678725efa47bd0097
  $fGenericFTycon ::
    GHC.Generics.Generic Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fGenericSort ::
    GHC.Generics.Generic Language.Fixpoint.Types.Sorts.Sort
  DFunId
f220e315b91d89c678725efa47bd0097
  $fGenericSub ::
    GHC.Generics.Generic Language.Fixpoint.Types.Sorts.Sub
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fGenericTCInfo ::
    GHC.Generics.Generic Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fHashableFTycon ::
    Data.Hashable.Class.Hashable Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fHashableSort ::
    Data.Hashable.Class.Hashable Language.Fixpoint.Types.Sorts.Sort
  DFunId
f220e315b91d89c678725efa47bd0097
  $fMonoidSort :: GHC.Base.Monoid Language.Fixpoint.Types.Sorts.Sort
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fMonoidTCInfo ::
    GHC.Base.Monoid Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fNFDataFTycon ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fNFDataSort ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.Sort
  DFunId
f220e315b91d89c678725efa47bd0097
  $fNFDataSub ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.Sub
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fNFDataTCInfo ::
    Control.DeepSeq.NFData Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fOrdFTycon :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fOrdSort :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.Sort
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fOrdTCInfo :: GHC.Classes.Ord Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
f220e315b91d89c678725efa47bd0097
  $fShowFTycon :: GHC.Show.Show Language.Fixpoint.Types.Sorts.FTycon
  DFunId
f220e315b91d89c678725efa47bd0097
  $fShowSort :: GHC.Show.Show Language.Fixpoint.Types.Sorts.Sort
  DFunId
2d4119821474f69a753a35c6a2fe13f2
  $fShowTCInfo :: GHC.Show.Show Language.Fixpoint.Types.Sorts.TCInfo
  DFunId
a8019d658656f16a89f9c57169c0ba65
  $tc'FAbs :: GHC.Types.TyCon
b4137606438e71d4f78b3f2658be26ce
  $tc'FApp :: GHC.Types.TyCon
9ad177269b841689f6edacfa1e7de59d
  $tc'FFrac :: GHC.Types.TyCon
a1e03d920c5fc33732721005497176f4
  $tc'FFunc :: GHC.Types.TyCon
3a1e80cdae35ed231b3d986c3d4b0ae7
  $tc'FInt :: GHC.Types.TyCon
4259fac9dabe9f0ec927b31760223ef7
  $tc'FNum :: GHC.Types.TyCon
627bf9afd5d2556764bed0eaa911e01f
  $tc'FObj :: GHC.Types.TyCon
079eb680d4f7f281012801e34f1badf5
  $tc'FReal :: GHC.Types.TyCon
1fd0e1bf741e0406a604e32b7f05e23f
  $tc'FTC :: GHC.Types.TyCon
a92e54b716fcc127cf7a9f22f70a01a8
  $tc'FVar :: GHC.Types.TyCon
e8e00535273e91a1e5f59ffa64f6fa01
  $tc'Sub :: GHC.Types.TyCon
56528acece57ed9ac8cd57bc6accc590
  $tc'TC :: GHC.Types.TyCon
64f5b1e6dbf75747531fb6f4c3fe1ca1
  $tc'TCInfo :: GHC.Types.TyCon
f3942bdb3f44a7fa82820b76d58bea24
  $tcFTycon :: GHC.Types.TyCon
37a9efa9e620295bc636770aefaf1e69
  $tcSort :: GHC.Types.TyCon
218b9f772e78ef9314ec110403547cb1
  $tcSub :: GHC.Types.TyCon
2801d123dc766b7932b92078df44aa38
  $tcTCInfo :: GHC.Types.TyCon
8b1939345579d39217aced784e419963
  $trModule :: GHC.Types.Module
f220e315b91d89c678725efa47bd0097
  data FTycon
    = TC Language.Fixpoint.Types.Names.LocSymbol
         Language.Fixpoint.Types.Sorts.TCInfo
f220e315b91d89c678725efa47bd0097
  axiom Rep_FTycon::
      GHC.Generics.Rep Language.Fixpoint.Types.Sorts.FTycon
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "FTycon"
               "Language.Fixpoint.Types.Sorts"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.False)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "TC" 'GHC.Generics.PrefixI 'GHC.Types.False)
               (GHC.Generics.S1
                  ('GHC.Generics.MetaSel
                     'GHC.Base.Nothing
                     'GHC.Generics.NoSourceUnpackedness
                     'GHC.Generics.NoSourceStrictness
                     'GHC.Generics.DecidedLazy)
                  (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.LocSymbol)
                GHC.Generics.:*: GHC.Generics.S1
                                   ('GHC.Generics.MetaSel
                                      'GHC.Base.Nothing
                                      'GHC.Generics.NoSourceUnpackedness
                                      'GHC.Generics.NoSourceStrictness
                                      'GHC.Generics.DecidedLazy)
                                   (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.TCInfo)))
f220e315b91d89c678725efa47bd0097
  axiom Rep_Sort::
      GHC.Generics.Rep Language.Fixpoint.Types.Sorts.Sort
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "Sort"
               "Language.Fixpoint.Types.Sorts"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.False)
            (((GHC.Generics.C1
                 ('GHC.Generics.MetaCons
                    "FInt" 'GHC.Generics.PrefixI 'GHC.Types.False)
                 GHC.Generics.U1
               GHC.Generics.:+: GHC.Generics.C1
                                  ('GHC.Generics.MetaCons
                                     "FReal" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                  GHC.Generics.U1)
              GHC.Generics.:+: (GHC.Generics.C1
                                  ('GHC.Generics.MetaCons
                                     "FNum" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                  GHC.Generics.U1
                                GHC.Generics.:+: (GHC.Generics.C1
                                                    ('GHC.Generics.MetaCons
                                                       "FFrac"
                                                       'GHC.Generics.PrefixI
                                                       'GHC.Types.False)
                                                    GHC.Generics.U1
                                                  GHC.Generics.:+: GHC.Generics.C1
                                                                     ('GHC.Generics.MetaCons
                                                                        "FObj"
                                                                        'GHC.Generics.PrefixI
                                                                        'GHC.Types.False)
                                                                     (GHC.Generics.S1
                                                                        ('GHC.Generics.MetaSel
                                                                           'GHC.Base.Nothing
                                                                           'GHC.Generics.NoSourceUnpackedness
                                                                           'GHC.Generics.SourceStrict
                                                                           'GHC.Generics.DecidedStrict)
                                                                        (GHC.Generics.Rec0
                                                                           Language.Fixpoint.Types.Names.Symbol)))))
             GHC.Generics.:+: ((GHC.Generics.C1
                                  ('GHC.Generics.MetaCons
                                     "FVar" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                  (GHC.Generics.S1
                                     ('GHC.Generics.MetaSel
                                        'GHC.Base.Nothing
                                        'GHC.Generics.NoSourceUnpackedness
                                        'GHC.Generics.SourceStrict
                                        'GHC.Generics.DecidedStrict)
                                     (GHC.Generics.Rec0 GHC.Types.Int))
                                GHC.Generics.:+: GHC.Generics.C1
                                                   ('GHC.Generics.MetaCons
                                                      "FFunc"
                                                      'GHC.Generics.PrefixI
                                                      'GHC.Types.False)
                                                   (GHC.Generics.S1
                                                      ('GHC.Generics.MetaSel
                                                         'GHC.Base.Nothing
                                                         'GHC.Generics.NoSourceUnpackedness
                                                         'GHC.Generics.SourceStrict
                                                         'GHC.Generics.DecidedStrict)
                                                      (GHC.Generics.Rec0
                                                         Language.Fixpoint.Types.Sorts.Sort)
                                                    GHC.Generics.:*: GHC.Generics.S1
                                                                       ('GHC.Generics.MetaSel
                                                                          'GHC.Base.Nothing
                                                                          'GHC.Generics.NoSourceUnpackedness
                                                                          'GHC.Generics.SourceStrict
                                                                          'GHC.Generics.DecidedStrict)
                                                                       (GHC.Generics.Rec0
                                                                          Language.Fixpoint.Types.Sorts.Sort)))
                               GHC.Generics.:+: (GHC.Generics.C1
                                                   ('GHC.Generics.MetaCons
                                                      "FAbs" 'GHC.Generics.PrefixI 'GHC.Types.False)
                                                   (GHC.Generics.S1
                                                      ('GHC.Generics.MetaSel
                                                         'GHC.Base.Nothing
                                                         'GHC.Generics.NoSourceUnpackedness
                                                         'GHC.Generics.SourceStrict
                                                         'GHC.Generics.DecidedStrict)
                                                      (GHC.Generics.Rec0 GHC.Types.Int)
                                                    GHC.Generics.:*: GHC.Generics.S1
                                                                       ('GHC.Generics.MetaSel
                                                                          'GHC.Base.Nothing
                                                                          'GHC.Generics.NoSourceUnpackedness
                                                                          'GHC.Generics.SourceStrict
                                                                          'GHC.Generics.DecidedStrict)
                                                                       (GHC.Generics.Rec0
                                                                          Language.Fixpoint.Types.Sorts.Sort))
                                                 GHC.Generics.:+: (GHC.Generics.C1
                                                                     ('GHC.Generics.MetaCons
                                                                        "FTC"
                                                                        'GHC.Generics.PrefixI
                                                                        'GHC.Types.False)
                                                                     (GHC.Generics.S1
                                                                        ('GHC.Generics.MetaSel
                                                                           'GHC.Base.Nothing
                                                                           'GHC.Generics.NoSourceUnpackedness
                                                                           'GHC.Generics.SourceStrict
                                                                           'GHC.Generics.DecidedStrict)
                                                                        (GHC.Generics.Rec0
                                                                           Language.Fixpoint.Types.Sorts.FTycon))
                                                                   GHC.Generics.:+: GHC.Generics.C1
                                                                                      ('GHC.Generics.MetaCons
                                                                                         "FApp"
                                                                                         'GHC.Generics.PrefixI
                                                                                         'GHC.Types.False)
                                                                                      (GHC.Generics.S1
                                                                                         ('GHC.Generics.MetaSel
                                                                                            'GHC.Base.Nothing
                                                                                            'GHC.Generics.NoSourceUnpackedness
                                                                                            'GHC.Generics.SourceStrict
                                                                                            'GHC.Generics.DecidedStrict)
                                                                                         (GHC.Generics.Rec0
                                                                                            Language.Fixpoint.Types.Sorts.Sort)
                                                                                       GHC.Generics.:*: GHC.Generics.S1
                                                                                                          ('GHC.Generics.MetaSel
                                                                                                             'GHC.Base.Nothing
                                                                                                             'GHC.Generics.NoSourceUnpackedness
                                                                                                             'GHC.Generics.SourceStrict
                                                                                                             'GHC.Generics.DecidedStrict)
                                                                                                          (GHC.Generics.Rec0
                                                                                                             Language.Fixpoint.Types.Sorts.Sort))))))
f220e315b91d89c678725efa47bd0097
  axiom Rep_Sub::
      GHC.Generics.Rep Language.Fixpoint.Types.Sorts.Sub
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "Sub"
               "Language.Fixpoint.Types.Sorts"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.True)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "Sub" 'GHC.Generics.PrefixI 'GHC.Types.False)
               (GHC.Generics.S1
                  ('GHC.Generics.MetaSel
                     'GHC.Base.Nothing
                     'GHC.Generics.NoSourceUnpackedness
                     'GHC.Generics.NoSourceStrictness
                     'GHC.Generics.DecidedLazy)
                  (GHC.Generics.Rec0
                     [(GHC.Types.Int, Language.Fixpoint.Types.Sorts.Sort)])))
2d4119821474f69a753a35c6a2fe13f2
  axiom Rep_TCInfo::
      GHC.Generics.Rep Language.Fixpoint.Types.Sorts.TCInfo
        = GHC.Generics.D1
            ('GHC.Generics.MetaData
               "TCInfo"
               "Language.Fixpoint.Types.Sorts"
               "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"
               'GHC.Types.False)
            (GHC.Generics.C1
               ('GHC.Generics.MetaCons
                  "TCInfo" 'GHC.Generics.PrefixI 'GHC.Types.True)
               (GHC.Generics.S1
                  ('GHC.Generics.MetaSel
                     ('GHC.Base.Just "tc_isNum")
                     'GHC.Generics.NoSourceUnpackedness
                     'GHC.Generics.NoSourceStrictness
                     'GHC.Generics.DecidedLazy)
                  (GHC.Generics.Rec0 GHC.Types.Bool)
                GHC.Generics.:*: (GHC.Generics.S1
                                    ('GHC.Generics.MetaSel
                                       ('GHC.Base.Just "tc_isReal")
                                       'GHC.Generics.NoSourceUnpackedness
                                       'GHC.Generics.NoSourceStrictness
                                       'GHC.Generics.DecidedLazy)
                                    (GHC.Generics.Rec0 GHC.Types.Bool)
                                  GHC.Generics.:*: GHC.Generics.S1
                                                     ('GHC.Generics.MetaSel
                                                        ('GHC.Base.Just "tc_isString")
                                                        'GHC.Generics.NoSourceUnpackedness
                                                        'GHC.Generics.NoSourceStrictness
                                                        'GHC.Generics.DecidedLazy)
                                                     (GHC.Generics.Rec0 GHC.Types.Bool))))
f220e315b91d89c678725efa47bd0097
  data Sort
    = FInt
    | FReal
    | FNum
    | FFrac
    | FObj !Language.Fixpoint.Types.Names.Symbol
    | FVar !GHC.Types.Int
    | FFunc !Language.Fixpoint.Types.Sorts.Sort
            !Language.Fixpoint.Types.Sorts.Sort
    | FAbs !GHC.Types.Int !Language.Fixpoint.Types.Sorts.Sort
    | FTC !Language.Fixpoint.Types.Sorts.FTycon
    | FApp !Language.Fixpoint.Types.Sorts.Sort
           !Language.Fixpoint.Types.Sorts.Sort
f220e315b91d89c678725efa47bd0097
  newtype Sub
    = Sub [(GHC.Types.Int, Language.Fixpoint.Types.Sorts.Sort)]
28917f1c3193ba04feacddb9368efb19
  type TCEmb a =
    Data.HashMap.Base.HashMap a Language.Fixpoint.Types.Sorts.FTycon
2d4119821474f69a753a35c6a2fe13f2
  data TCInfo
    = TCInfo {tc_isNum :: GHC.Types.Bool,
              tc_isReal :: GHC.Types.Bool,
              tc_isString :: GHC.Types.Bool}
fbcd7e3c41156c2991626f21a7dcecbf
  bitVecSort :: Language.Fixpoint.Types.Sorts.Sort
e4eee2bf0babae14efece32d9aa5db8e
  bkFFunc ::
    Language.Fixpoint.Types.Sorts.Sort
    -> GHC.Base.Maybe
         (GHC.Types.Int, [Language.Fixpoint.Types.Sorts.Sort])
bc0b12aef70d320044ec75de0acbaeda
  boolFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
46afdfe3dd21cf0dd058c933f213df60
  boolSort :: Language.Fixpoint.Types.Sorts.Sort
3f7b2e6a1177e64486de63ab28249ae0
  fApp ::
    Language.Fixpoint.Types.Sorts.Sort
    -> [Language.Fixpoint.Types.Sorts.Sort]
    -> Language.Fixpoint.Types.Sorts.Sort
8111b5d3ce3a6854cec03bbe0aa8c7cb
  fApp' ::
    Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Sorts.Sort
5fd8f5fea1268b97c68ee6e953dda7fc
  fAppTC ::
    Language.Fixpoint.Types.Sorts.FTycon
    -> [Language.Fixpoint.Types.Sorts.Sort]
    -> Language.Fixpoint.Types.Sorts.Sort
7cb7a143d120110509e9899fa3ad29e4
  fObj ::
    Language.Fixpoint.Types.Names.LocSymbol
    -> Language.Fixpoint.Types.Sorts.Sort
fcba394acafcbb8ada64b842d24d86b2
  fTyconSort ::
    Language.Fixpoint.Types.Sorts.FTycon
    -> Language.Fixpoint.Types.Sorts.Sort
0cad5d2cb34625e783ea66418793ac9a
  fTyconSymbol ::
    Language.Fixpoint.Types.Sorts.FTycon
    -> Language.Fixpoint.Types.Spans.Located
         Language.Fixpoint.Types.Names.Symbol
510211bc37bb3f77cd24c28ec5ea032c
  funcSort :: Language.Fixpoint.Types.Sorts.Sort
c906532765f92a1449b6d8d1dca84c47
  functionSort ::
    Language.Fixpoint.Types.Sorts.Sort
    -> GHC.Base.Maybe
         ([GHC.Types.Int], [Language.Fixpoint.Types.Sorts.Sort],
          Language.Fixpoint.Types.Sorts.Sort)
9d7d0b2da6bfbc0f9e6b00cb6c36312d
  intFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
a70432776df5cb672080f929c5612df1
  intSort :: Language.Fixpoint.Types.Sorts.Sort
ad9da016e576ea840f4b42baa760663e
  isFirstOrder ::
    Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool
41feebd05c3c29d616bc0165f92f9723
  isListTC :: Language.Fixpoint.Types.Sorts.FTycon -> GHC.Types.Bool
0ebca65ba1677c668dd55b2fa7be8553
  isNumeric :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool
c2df2a79c7f8a4e415c82e63cee80c48
  isReal :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool
18dfcb7f0357bec330eb57cf2b61b73a
  isString :: Language.Fixpoint.Types.Sorts.Sort -> GHC.Types.Bool
b99990236d5894c2a41e38fc3e3c79e5
  listFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
206f51de71c47d2e451df62ca1226ac9
  mapSort ::
    Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Sorts.Sort
9d1638646f2b4963ee3d2ea2478da79e
  mappendFTC ::
    Language.Fixpoint.Types.Sorts.FTycon
    -> Language.Fixpoint.Types.Sorts.FTycon
    -> Language.Fixpoint.Types.Sorts.FTycon
b4ab65d9d8f90471811316477a4ee4c3
  mkFFunc ::
    GHC.Types.Int
    -> [Language.Fixpoint.Types.Sorts.Sort]
    -> Language.Fixpoint.Types.Sorts.Sort
5c9710a6a3877997db70ea1e8a1c9334
  numFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
fe3c637e7fa324410816d272f7b3342c
  realFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
fefce555e563f567d3e9df1513286a96
  realSort :: Language.Fixpoint.Types.Sorts.Sort
f34a3ca7abe168425f6e09da201f5b41
  setFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
21fc86bf9d9d5c425a7b269bd09bad7e
  setSort ::
    Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Sorts.Sort
ec3aff01e24981ac9c553d89aa4f7369
  sortFTycon ::
    Language.Fixpoint.Types.Sorts.Sort
    -> GHC.Base.Maybe Language.Fixpoint.Types.Sorts.FTycon
0cb393bf830654f09d73a51cce18573b
  sortSubst ::
    Data.HashMap.Base.HashMap
      Language.Fixpoint.Types.Names.Symbol
      Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Sorts.Sort
    -> Language.Fixpoint.Types.Sorts.Sort
7f3a72cde32299474fd0cd5fc611756c
  strFTyCon :: Language.Fixpoint.Types.Sorts.FTycon
3572bfa38e568ea089bde8a4c2864097
  strSort :: Language.Fixpoint.Types.Sorts.Sort
c952aefdec7f3e699dabd04fb7fa49a4
  symbolFTycon ::
    Language.Fixpoint.Types.Names.LocSymbol
    -> Language.Fixpoint.Types.Sorts.FTycon
0f1b55a825c75cc991c883b535250f2d
  symbolNumInfoFTyCon ::
    Language.Fixpoint.Types.Names.LocSymbol
    -> GHC.Types.Bool
    -> GHC.Types.Bool
    -> Language.Fixpoint.Types.Sorts.FTycon
481803d80ec1bb886084ff9f246f4c7c
  tc_isNum :: Language.Fixpoint.Types.Sorts.TCInfo -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Types.Sorts.TCInfo
f2e6d3e05bd8e292d5f308672d86f365
  tc_isReal :: Language.Fixpoint.Types.Sorts.TCInfo -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Types.Sorts.TCInfo
c60efebd495f02b71e8380d01eeb6569
  tc_isString ::
    Language.Fixpoint.Types.Sorts.TCInfo -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Types.Sorts.TCInfo
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fBinaryFTycon
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fBinarySort
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.Sub]
  = Language.Fixpoint.Types.Sorts.$fBinarySub
instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fBinaryTCInfo
instance Data.Data.Data [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fDataFTycon
instance Data.Data.Data [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fDataSort
instance Data.Data.Data [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fDataTCInfo
instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fEqFTycon
instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fEqSort
instance GHC.Classes.Eq [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fEqTCInfo
instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fFixpointFTycon
instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fFixpointSort
instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fGenericFTycon
instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fGenericSort
instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.Sub]
  = Language.Fixpoint.Types.Sorts.$fGenericSub
instance GHC.Generics.Generic [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fGenericTCInfo
instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fHashableFTycon
instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fHashableSort
instance GHC.Base.Monoid [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fMonoidSort
instance GHC.Base.Monoid [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fMonoidTCInfo
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fNFDataFTycon
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fNFDataSort
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.Sub]
  = Language.Fixpoint.Types.Sorts.$fNFDataSub
instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fNFDataTCInfo
instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fOrdFTycon
instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fOrdSort
instance GHC.Classes.Ord [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fOrdTCInfo
instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.$fShowFTycon
instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.$fShowSort
instance GHC.Show.Show [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.$fShowTCInfo
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.Sub]
  = Language.Fixpoint.Types.Sorts.Rep_Sub
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Types.Sorts.Rep_Sort
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.FTycon]
  = Language.Fixpoint.Types.Sorts.Rep_FTycon
family instance GHC.Generics.Rep [Language.Fixpoint.Types.Sorts.TCInfo]
  = Language.Fixpoint.Types.Sorts.Rep_TCInfo
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False