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

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Smt.Serialize [orphan module] 8002
  interface hash: 59ed3da58522a5d1319f0784bddde22b
  ABI hash: 3293b2f1b02854eaf0ebda5b94ff3bc8
  export-list hash: 4370d9fc2d93dfa022247e87af0b5727
  orphan hash: 2317e1fccd9fa699e059255fbc6c50e5
  flag hash: 1e079598b57ac2a3e22da64ad933c018
  sig of: Nothing
  used TH splices: False
  where
exports:
module dependencies: Language.Fixpoint.Misc
                     Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types
                     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.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
                      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
                      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
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:Data.Functor 5ab1dc703df5b482e77efb697833ca3c
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.OldList 27987919d8da2f92e3f472ca81f730f8
import  -/  base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1
import  -/  base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511
import  -/  base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771
import  -/  ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47
import  -/  Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65
  exports: 3408045fd5294879efb3c76c6b2e957b
  errorstar 38cc16c0836e03b9af68d3c95faef762
import  -/  Language.Fixpoint.Smt.Theories 09d459cfc18ae227bdf17bc6076761e6
  exports: 6574c1f54c168acf403744fefc2973e2
  smt2App 64b47f277fc75d024e97a7d263c600bd
  smt2Sort 1c16be1e2d3618a8d49e38b26051299a
  smt2Symbol 0a58f8acdcf4f9bf6133cbcd65440fae
import  -/  Language.Fixpoint.Smt.Types f3cd20e31d878df1471a18301daec0de
  exports: 7c305226ada8b0569e9625efa6775eda
  Assert a9e6531d6593ad5a9c68820a1a165641
  AssertAxiom c4a9c73dc82bc3b7364d79ba68eb9921
  CMany a8ce380d142400886387bcf769ea673d
  CheckSat f2fa057ab6f3c20ea3a90eb688c3a269
  Command db4fa671cc40a53c2f366ce62e071bce
  Declare 575c084eef6a63c416f3c237c97364ff
  Define 0f376fc857dd32a47bcde9cd554d3c06
  Distinct 3ddec31ea907f1cba52f5efed6312710
  GetValue ff6b46e8b6ddfe5dbe6b1241066fbb3d
  Pop 39fb29f039411d90150c912f1f7e69d1
  Push 607cb0706741c90307ad425c1f1c7b1a
  SMTLIB2 de2f3241d6a8c7fe9a95500a542a0af4
  smt2 ae5d53fee3c3adddefb5db6d4a988fbd
import  -/  Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2
  exports: 0af36b6c83c4ee67c2150e62bec20e14
import  -/  Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747
  LocSymbol 2b097f7c1b442bde052125f99a321ad2
  Symbol 107cf7489707dd0de1ccae6d6e42b2ab
  divFuncName 4d848a37fcd848b011167b34e38721e7
  lambdaName 0054a7db80e625b5bdf43a5e21ef678d
  mulFuncName 374019d20b2a80edc877e920989ad6ff
  symbol 9ba5ac52642e1a4c5f8c1bb4bca7d4db
  symbolSafeText 4266fd10fb6f675f184e3b582f0b2756
import  -/  Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5
  PPrint 78b520d4c3718d2e8c30eba678b273b4
  showpp 6c7acfad3292f20adf3bdca6d5c2204a
import  -/  Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0
  Bop bb73da387a50fe3797caa66eb4fb9c35
  Brel ccf935d7784f5ddd1cd8ed49bfb8303f
  Constant f9150d691e53d45a280a25d582490a4a
  Div e909aa900addd0ad7593c0198ad207d6
  EApp f28c7506728f5dca0b25fa72af857711
  EBin b68370650d83bb943d8ce8854812774a
  ECon 281ba72942164385453e186922876aeb
  ECst 06c1a8791e33ac7ca6714e477124b679
  EIte 5c7e639e14211792c2af633aaf1234a7
  ELam 7952c5569d03e76870e8a12746cdba85
  ENeg 284e85851508aec78c3b87be0c0aad72
  ESym 49a58f7ebb51504c93a7cf428cb889dd
  EVar 566b7c7ff8fdc63c55d18f2d537af0b8
  Eq c1b25320389b84ebe6a3e3b57ad71aff
  Expr bb73da387a50fe3797caa66eb4fb9c35
  Ge 96adade7a1da1c4d74f9e2f94029d822
  Gt ea8f726ea745c87fa325241c9f766139
  I 07f12202803d85c499ec85fe4e0498a6
  L baa0d1c6d9f11185bdc6d28166d17dcb
  Le 0202693a0d64fd701710b60f9c14e097
  Lt a71d5d19052b76eb8f2975c70650ed5a
  Minus 5df52931b740a076f4ff7b26072bda49
  Mod 27ae7b1c0480b575544a66d45559b9af
  Ne a2df0470635e5470e3d644138539d7fd
  PAll 3c207c04197a306333e12ea805cc0e1b
  PAnd 434a1d6f3ed5fe9da9c4ef7ee0a5ab14
  PAtom 866d6e2737f3ad25130ad773f2c60d65
  PExist 6ffa4e1862c34ed00f17a1c5df2acdc5
  PFalse f86be892268a2b3bd8031229a6526c6a
  PIff ff91f60b88fbd087ae722287900be9ae
  PImp 925695079b283b1b4a08615ff0cba7ee
  PNot bf05d60bf54fd329ab000a213583724e
  POr 91663db60e0b5604919103347cf2669f
  PTrue bc0d3a71b6fe213efce25819b87c1a37
  Plus 480eab55ce9a69f4216bc43285acfa8d
  R 8a4470edf106212711fabff528a44457
  RDiv d1b4b2b03f7ae92cc7001a03d0b1eacb
  RTimes a9bf0fc7f43eb611a280c75caac92d1a
  SymConst 5a08fa37953f67458151c952bcdb1298
  Times 7bc3701e441f3478a9bc53de964d3cb5
  Ueq b9a0562fdb85b8438e681e351e1352c3
  Une 5b8cd0f7269a12bb2057ce4c97e5da43
import  -/  Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da
  FFunc 473e46f2d365158eafcff416210e5309
  FInt 9d74d7cd5512a4228d6ccdde4da2c696
  FReal 6208a3226e45c9f5b043cd697ddef672
  Sort f220e315b91d89c678725efa47bd0097
  boolSort 46afdfe3dd21cf0dd058c933f213df60
import  -/  Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312
  val d4806808748b4175bb76acacd6ac41b8
import  -/  Language.Fixpoint.Types.Triggers c2e760ad7f82403b36096398e6cdbd50
  NoTrigger d44ec8a53e492d1557908ed013c220d4
  TR 6c9fea8719a0dbc26cac8f3768ae8d3a
  Triggered d39972cec2a7b7cef313086c01f66d7e
  makeTriggers 5b814c4f5f383c6ef54e3deb338a5232
import  -/  text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal.Builder cac246c99e360c04405d7258721e6f9e
import  -/  text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy.Builder 12f4026fc6128435b48f92178aec364b
import  -/  text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG:Data.Text.Format 9a6b638cf2a34046724796f57984b5cc
import  -/  text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG:Data.Text.Format.Types.Internal 6ede970f6a055ff8875db8e2eeee1bd4
32a2047ab396df15a2cc05fcfc3130a3
  $fSMTLIB2(,) ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      (Language.Fixpoint.Types.Names.Symbol,
       Language.Fixpoint.Types.Sorts.Sort)
  DFunId
279ba34e49ddce80a39b35c89ef089c4
  $fSMTLIB2Bop ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Bop
  DFunId
29281b394bf89791e62c88f7d28a8005
  $fSMTLIB2Brel ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Brel
  DFunId
31876808222585b6400aa721f899a4f8
  $fSMTLIB2Command ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Smt.Types.Command
  DFunId
c5918e30bdb8949964d3dab056a28216
  $fSMTLIB2Constant ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Constant
  DFunId
298c4987b5594936996133217667aa01
  $fSMTLIB2Expr ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Expr
  DFunId
493cf85f656efa8465634b400daa81ef
  $fSMTLIB2Located ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Names.LocSymbol
  DFunId
965db449c240f62b2fa53241d01787b6
  $fSMTLIB2SymConst ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.SymConst
  DFunId
75c42d79b047bc6a6361102c02ef5d9f
  $fSMTLIB2Symbol ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Names.Symbol
  DFunId
00290ee3c657d01082ceea8d0952ee41
  $fSMTLIB2Triggered ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      (Language.Fixpoint.Types.Triggers.Triggered
         Language.Fixpoint.Types.Refinements.Expr)
  DFunId
115abde39680ced998142d70cc9f16fa
  $trModule :: GHC.Types.Module
instance Language.Fixpoint.Smt.Types.SMTLIB2 [(,)]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2(,)
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Bop]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Bop
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Brel]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Brel
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Smt.Types.Command]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Command
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Constant]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Constant
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Expr
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Spans.Located]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Located
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.SymConst]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2SymConst
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Names.Symbol]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Symbol
instance Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Triggers.Triggered]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Triggered
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False