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

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Serialize [orphan module] 8065
  interface hash: 7ccfff9c4218595ba8d8d8c81ae1f0db
  ABI hash: 7305b271952ce328cf0ab77b85d8d3d3
  export-list hash: 5e1d313517b98758471045ea4f3116b5
  orphan hash: f80cd1ba9c0a6b4f280c25c87b00bf6d
  flag hash: 488f36884360138e72e336ac5109668c
  opt_hash: d0a78e7b344f95c7406be35c9b75e196
  hpc_hash: 93b885adfe0da089cdf634904fd59f71
  plugin_hash: ad164012d6b1e14942349d58b1132007
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Smt.Serialize.smt2SortMono
module dependencies: Language.Fixpoint.Misc
                     Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types
                     Language.Fixpoint.SortCheck 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.Templates Language.Fixpoint.Types.Theories
                     Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils
                     Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files
                     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 double-conversion-2.0.2.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 mtl-2.2.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 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2
                      unix-2.7.2.2 unordered-containers-0.2.9.0
orphans: transformers-0.5.6.2:Control.Monad.Trans.Error
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints
         cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments
         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions
         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.Config
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors
                         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
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories
                         liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers
                         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.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e
import  -/  base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import  -/  base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616
import  -/  base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276
import  -/  base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
import  -/  Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5
  exports: c71e07620cb71e48240d161f1a37aa5e
  errorstar e47c2d482124b43e020a405f809adcff
  sortNub 7d73d874da71f31bd97dc544f8572fc4
import  -/  Language.Fixpoint.Smt.Theories 48905aa2dfb4a1b0b274452f97471e3d
  exports: ad53920eb85c0904d205515774324773
  smt2App 02b5cd913447494ceea7b7116ad9d87d
  smt2Symbol 991c65df5a4a4d39044c400f60a0fd64
import  -/  Language.Fixpoint.Smt.Types 30a3f200618617e4fc3b128e7ad80e5a
  exports: 9d5346cc8b2fc98cde08d06579c7cca6
  Assert 67eb58b7de8e3adeaa64ca4678afbf28
  AssertAx bd653a9fa0511322a60626bfea0fa0de
  CMany 47520c02ca33cb3cd9134cd11ce60c15
  CheckSat 4bbed80577103afd6dda6e838ad01d87
  Command 9bb122f606f996c5adbb9f937fa876ad
  DeclData a8f500b1d311891b4fae99223a97b3ee
  Declare 92fb53d84c8fede1aa2891b4d7e2d706
  Define 39f3a6b609fcf22a70bc8a6808906a6a
  Distinct e66cdf03563bbc29c325f23bf4b8fd38
  GetValue 761def53c0f2428e57244c047634b27d
  Pop 788f42b70667cbe52afcaf862cbbb1e7
  Push 4e9c7fb32679eb0b51c8674414368263
  SMTLIB2 c21caa89e781f0f2b1e49c79f9b4130a
  smt2 fb59179bf1f480bfc37822b3b187760e
import  -/  Language.Fixpoint.SortCheck f7b7dc40080c3027ffc5d238db179224
  exports: fef1457ed33a6a1cb5bc6a8b38a1edff
  unApplyAt e0a628364bec28d2a08751e4806888b9
import  -/  Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f
  exports: 62d26edd591b195eabce115b8380fe6e
import  -/  Language.Fixpoint.Types.Errors 31e8527559b26e3ce8fcf2acaba869c3
  panic 87059ab6cc1a67158dab0a23bc2c22e7
import  -/  Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a
  LocSymbol e6d5fcd49dd2746d9598e2efb4f857d1
  Symbol 3f986d27cdf6315dd770c516fc00a643
  applyName 25f366ca3bca038d84f346fd1351a02a
  buildMany f14f2cccc11f92b60f7e06649edc7b82
  coerceName cfa798590c79dbe5ef2b611f14e80f7f
  divFuncName dae7813b9ecfad96423501941a112512
  intSymbol a4ae136aedf5d0fada743997e9c6751f
  isLamArgSymbol 2c225b4ac3041fa9a0dcc3fb3d04950a
  lambdaName c8b0b013bbacac5c8fff10b620016b3e
  mulFuncName 6a890e2f1ef5cfc3e80b39dbbfa3fafd
  suffixSymbol 9662173a435d59332bdcbcb24c037237
  symbol 8093c1d4f5a85b247a3a96c3fce3245c
  symbolBuilder 0bf3cfe602b4e00c658b71392faff862
import  -/  Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
  PPrint 1f29b3f207492ffa2323c20e2c1b7b4a
  showpp a9f79fc9a75f72593341c16b4b8ac492
import  -/  Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc
  Bop 58dd7eff6040aa97f060415235c6cb01
  Brel 3130541cdaa27975ca84ce0fd238d8aa
  Constant 77cbbec08e19a1217d2b733c8f08120e
  Div 09eefb562391cab23a1f4dcb4b3afda4
  EApp 54242238b0fd99173645e603ea6a95e1
  EBin 584c6077045554d53d7c9a89592b60d3
  ECoerc d62592d9495e238bd832577950db4048
  ECon 5baa7919e17f9fc7e290e6ec391edfe0
  ECst 77d8fb760e457bfd124c455ed691c864
  EIte bcb7471d1eafba69c1a57099f120b1bb
  ELam e0029a0f9c90cfaf5ca8a8fc8de8a995
  ENeg c7c4772e5c9c737684dc4ada02f5ae77
  ESym 1e9d62c909ab81c24aa5b70ea45dd385
  EVar dbcccd19fa06e8cd413d3f8989324ef6
  Eq 3f11ae5b47578ad5a2c554235bd0e66b
  Expr 58dd7eff6040aa97f060415235c6cb01
  Ge 20def8c87168e6dfa6102e1e789292df
  Gt efc2101db1845d999f94f634dfaf1339
  I 90217a394fcf0061b39dc2e3fba98b11
  L cb92c00e18083bd8988b20d1d090bc2b
  Le b76eccc268995647ce696445ad0fc538
  Lt 0dd388ae9584ef1ec44c96b5c623d39e
  Minus 753b0ebcc781b33045da2534da8dbe54
  Mod 1b418826ebbc244a0849550273fecdeb
  Ne 8de2833323f56b086978249fd6265b9b
  PAll 95061dd88b416f835271772df1b74807
  PAnd 668269c725f0f517f2cefead144acbec
  PAtom efd69e8b2834a0937ec103ca6d2f2b7d
  PExist c6ca2ca0202788949bf0d916db637f7a
  PFalse e43985c1fbf5446eb7e361fefcd63600
  PIff 2a17d6131a34fb2676761302524edfd8
  PImp 71d909aca81df6b76b372b30b2979f8d
  PNot dd52d33c67ccd94ba2b9bc2daaf6153f
  POr 8896d8a5009f7964d0fb6a9c72eaff6c
  PTrue 1c366fec6a192dc993b90d2b711bd4f4
  Plus 9f396120748621b21fd37878d2f4db4b
  R 801e4115533995c5d14bb91969b23812
  RDiv c7b9a2fb71132dbc0e7e681a88ccdaeb
  RTimes 7f574daa7c73d079e322c4abfab857af
  SymConst 70bf9d44b2d107fffacade38f4990bd9
  Times 2ba8ff078e8f2a7d98c93cf423720bf2
  Ueq c1bef9e1715331b850d7aab346e55603
  Une 210ed236d1dc917037d1f78bf2a540d7
import  -/  Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6
  DCtor 83abb43312b463b0aab541d71e991649
  DDecl fa32e5752577cfb40168e5b5c1c85117
  DField 429b10dd092babacb22326bf6fb45b30
  DataCtor 90984d28a9f3c849d44b1ec37334f5cb
  DataDecl 90984d28a9f3c849d44b1ec37334f5cb
  DataField 842b037f4a3d7555ff8e2c17ccb73443
  FFunc a2098452dd53c51f7531db6145200e8d
  FInt feec19063de9031ab717875a0a60c7b0
  FTycon 30d6fd7d99459ff88296e3b55c87b46c
  FVar a3c34a432d4203ec59fb1483b26cb260
  Sort 30d6fd7d99459ff88296e3b55c87b46c
  ddTyCon 90984d28a9f3c849d44b1ec37334f5cb
  ddVars 90984d28a9f3c849d44b1ec37334f5cb
  isPolyInst 676f1726c10c87f40ca1a0650d1b61c8
  mkPoly 0a7ab8f8c203859fcd432a2dfdd5abb2
  muSort e2cb2ad7e858df633905b445c4a9097a
import  -/  Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062
  atLoc 1d33f99909507b18efe9f42abbbb5952
  val 98c2e3118bdcfbfec2dfd5f953f55cfd
import  -/  Language.Fixpoint.Types.Theories 2d31db6b0cdc7b0f2231db238b021516
  SVar 1aff186e655e8d77ca69232937c11c86
  SymEnv 0506688674ca55c28cc4df4c4dbdb2df
  seData 0506688674ca55c28cc4df4c4dbdb2df
  sortSmtSort 4fef6a945014c08fdd9da90cda8a95e3
  symEnvSort 4e4e9cdbc3a9475a23f86b15dfd87974
  symbolAtName bd64b79fb7384a9bc331801c046897dc
import  -/  Language.Fixpoint.Types.Triggers 8abd2355db756b37b9b5fb3b0ce44e32
  NoTrigger 5a94771b74ef97d5c85741aafcf31fc5
  TR a3d1f7b1a17835a315118c4cf4f7907f
  Triggered d4e347d662ffae46e19beccd9e71f8e0
  makeTriggers 2aac80cb129f655dea3c920779f3cb46
import  -/  Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad
  exports: 483fcd13e73dd85ffa64d4931a72ac90
  foldDataDecl fa01ba3dae0c84e0cae8da375e05be82
import  -/  text-1.2.3.1:Data.Text.Internal.Builder 1797fde4ca8ef0dc40109aae6e9f65de
import  -/  text-1.2.3.1:Data.Text.Lazy.Builder 8de68d4400c5e110387b343256e7694d
import  -/  text-format-0.3.2:Data.Text.Format cba82cf42fed813596d553c521d7a97b
import  -/  text-format-0.3.2:Data.Text.Format.Types.Internal 1598e6eab18221563e1d2913dbbf595c
46992b742ccda93bcba528d13db2ae19
  $fSMTLIB2(,) ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      (Language.Fixpoint.Types.Names.Symbol,
       Language.Fixpoint.Types.Sorts.Sort)
  DFunId
b319668665e5dc8389a99cb86cb5e993
  $fSMTLIB2Bop ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Bop
  DFunId
e933d1c45a438357f052824ce0856477
  $fSMTLIB2Brel ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Brel
  DFunId
e4586654cd4278030a075d924893634f
  $fSMTLIB2Command ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Smt.Types.Command
  DFunId
911b68de6a4fdf5f80637d529a32cf79
  $fSMTLIB2Constant ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Constant
  DFunId
08fdc7382b97cae7ddf8b5cd240d1bb4
  $fSMTLIB2Expr ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.Expr
  DFunId
dc17acf9257de5e74370e8af9c894ed3
  $fSMTLIB2Located ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Names.LocSymbol
  DFunId
081c56db97690851206a08b861455aac
  $fSMTLIB2SymConst ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Refinements.SymConst
  DFunId
a39a1ab45693fb60bdedad513a2debb8
  $fSMTLIB2Symbol ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      Language.Fixpoint.Types.Names.Symbol
  DFunId
fef403dded5e1c9973a1b96c617555c2
  $fSMTLIB2Triggered ::
    Language.Fixpoint.Smt.Types.SMTLIB2
      (Language.Fixpoint.Types.Triggers.Triggered
         Language.Fixpoint.Types.Refinements.Expr)
  DFunId
e4a82b2b96184332c848d8176744d8c2
  $trModule :: GHC.Types.Module
f115c6c1fbd64b314f8d0dace0440705
  smt2SortMono ::
    Language.Fixpoint.Types.PrettyPrint.PPrint a =>
    a
    -> Language.Fixpoint.Types.Theories.SymEnv
    -> Language.Fixpoint.Types.Sorts.Sort
    -> Data.Text.Internal.Builder.Builder
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [(,)]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2(,)
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Bop]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Bop
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Brel]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Brel
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Smt.Types.Command]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Command
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Constant]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Constant
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Expr
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Spans.Located]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Located
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Refinements.SymConst]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2SymConst
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Names.Symbol]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Symbol
instance [orphan] Language.Fixpoint.Smt.Types.SMTLIB2 [Language.Fixpoint.Types.Triggers.Triggered]
  = Language.Fixpoint.Smt.Serialize.$fSMTLIB2Triggered
trusted: none
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: