==================== FINAL INTERFACE ==================== 2019-09-22 14:52:40.78163 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Bitvector [family instance module] 8065 interface hash: a66db4c07f651977507edf0878733c4f ABI hash: 0078a7619ebc3de9a6aee2736af0b2d1 export-list hash: 58b7fd28e9cf74c90db1add211a337c5 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 5c31e908ffeef7c7dbad6582afcd107f opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Smt.Bitvector.bvTyCon Language.Fixpoint.Smt.Bitvector.eOp Language.Fixpoint.Smt.Bitvector.mkSort Language.Fixpoint.Smt.Bitvector.Bv{Language.Fixpoint.Smt.Bitvector.Bv} Language.Fixpoint.Smt.Bitvector.BvOp{Language.Fixpoint.Smt.Bitvector.BvAnd Language.Fixpoint.Smt.Bitvector.BvOr} Language.Fixpoint.Smt.Bitvector.BvSize{Language.Fixpoint.Smt.Bitvector.S32 Language.Fixpoint.Smt.Bitvector.S64} module dependencies: Language.Fixpoint.Misc 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.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 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 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: 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.Data 2949b01dc3799f9122535900668dfcef import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Typeable 1095be85dd9009a6503a3981a259490e import -/ base-4.12.0.0:Data.Typeable.Internal e1cb15df401654131814917774d4d7ed import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 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 -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 Symbol 3f986d27cdf6315dd770c516fc00a643 bitVecName 00019ed7902409f02e42ac9147024c0f bvAndName f0343b8a4f8bd92677e59ed88901c889 bvOrName efd850d2d2d132e184bb436c2e5ec069 size32Name eb86c7a87bf6d4fe421e48a12b486920 size64Name c319990772c58056fc8adbb99d90eef0 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc EApp 54242238b0fd99173645e603ea6a95e1 ECon 5baa7919e17f9fc7e290e6ec391edfe0 EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 Expression 3223e45a95282010f7c8c44ba75b8d79 L cb92c00e18083bd8988b20d1d090bc2b import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 FTycon 30d6fd7d99459ff88296e3b55c87b46c Sort 30d6fd7d99459ff88296e3b55c87b46c fApp c49e03b92bfc3b317f317f42b9427882 fTyconSort 633df8b8447e1a481b51fa09ec285390 symbolFTycon 93c1f3a947f85ee0557577e72fb0c2a1 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 dummyLoc 69f648f1c60987f6ccbe57104041fd71 import -/ syb-0.7:Data.Generics f4bddd07fe7227d2509acad55f9ff82d import -/ text-1.2.3.1:Data.Text 681b9c3df5b4e4b4e23ef5f840f0b692 e5d2108d65c1b524de05aa50b1ec1d1d $fDataBvOp :: Data.Data.Data Language.Fixpoint.Smt.Bitvector.BvOp DFunId 251509afcdd6448ec00720ec1a3fe57a $fDataBvSize :: Data.Data.Data Language.Fixpoint.Smt.Bitvector.BvSize DFunId e5d2108d65c1b524de05aa50b1ec1d1d $fEqBvOp :: GHC.Classes.Eq Language.Fixpoint.Smt.Bitvector.BvOp DFunId 251509afcdd6448ec00720ec1a3fe57a $fEqBvSize :: GHC.Classes.Eq Language.Fixpoint.Smt.Bitvector.BvSize DFunId 7a095cefcf91f5119f97cb37019207e8 $fExpressionBv :: Language.Fixpoint.Types.Refinements.Expression Language.Fixpoint.Smt.Bitvector.Bv DFunId e5d2108d65c1b524de05aa50b1ec1d1d $fGenericBvOp :: GHC.Generics.Generic Language.Fixpoint.Smt.Bitvector.BvOp DFunId 251509afcdd6448ec00720ec1a3fe57a $fGenericBvSize :: GHC.Generics.Generic Language.Fixpoint.Smt.Bitvector.BvSize DFunId e5d2108d65c1b524de05aa50b1ec1d1d $fOrdBvOp :: GHC.Classes.Ord Language.Fixpoint.Smt.Bitvector.BvOp DFunId 251509afcdd6448ec00720ec1a3fe57a $fOrdBvSize :: GHC.Classes.Ord Language.Fixpoint.Smt.Bitvector.BvSize DFunId e5d2108d65c1b524de05aa50b1ec1d1d $fShowBvOp :: GHC.Show.Show Language.Fixpoint.Smt.Bitvector.BvOp DFunId 251509afcdd6448ec00720ec1a3fe57a $fShowBvSize :: GHC.Show.Show Language.Fixpoint.Smt.Bitvector.BvSize DFunId 92bc1a6f3719551193212a2c19b5f842 $tc'Bv :: GHC.Types.TyCon 251994670491bba94c508325b9107af6 $tc'BvAnd :: GHC.Types.TyCon b976c82e30ac9896417a99ab700c6f2d $tc'BvOr :: GHC.Types.TyCon 79d16a31fef939cf6bd5100420f0945d $tc'S32 :: GHC.Types.TyCon 2babac4e9a268b974387fe142940fd6c $tc'S64 :: GHC.Types.TyCon 3eb947653ae478b6deaa93c9e6ec7802 $tcBv :: GHC.Types.TyCon 4bc3db48dda630f16f5b12b6968f4dd9 $tcBvOp :: GHC.Types.TyCon aa443c750baef47874d8d3f96c334436 $tcBvSize :: GHC.Types.TyCon c7eb300baac543db48b1dfc09ad3ffdb $trModule :: GHC.Types.Module 7a095cefcf91f5119f97cb37019207e8 data Bv = Bv !Language.Fixpoint.Smt.Bitvector.BvSize !GHC.Base.String e5d2108d65c1b524de05aa50b1ec1d1d data BvOp = BvAnd | BvOr 251509afcdd6448ec00720ec1a3fe57a data BvSize = S32 | S64 e5d2108d65c1b524de05aa50b1ec1d1d axiom Language.Fixpoint.Smt.Bitvector.Rep_BvOp:: GHC.Generics.Rep Language.Fixpoint.Smt.Bitvector.BvOp = GHC.Generics.D1 ('GHC.Generics.MetaData "BvOp" "Language.Fixpoint.Smt.Bitvector" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "BvAnd" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "BvOr" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) 251509afcdd6448ec00720ec1a3fe57a axiom Language.Fixpoint.Smt.Bitvector.Rep_BvSize:: GHC.Generics.Rep Language.Fixpoint.Smt.Bitvector.BvSize = GHC.Generics.D1 ('GHC.Generics.MetaData "BvSize" "Language.Fixpoint.Smt.Bitvector" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "S32" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "S64" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) 40fcfbb302e3b4263bea3b7709b97781 bvTyCon :: Language.Fixpoint.Types.Sorts.FTycon ab13740ac14561ea2d1c131168a9481e eOp :: Language.Fixpoint.Smt.Bitvector.BvOp -> [Language.Fixpoint.Types.Refinements.Expr] -> Language.Fixpoint.Types.Refinements.Expr a26127c3379b2d9fec924150ef9087de mkSort :: Language.Fixpoint.Smt.Bitvector.BvSize -> Language.Fixpoint.Types.Sorts.Sort instance Data.Data.Data [Language.Fixpoint.Smt.Bitvector.BvOp] = Language.Fixpoint.Smt.Bitvector.$fDataBvOp instance Data.Data.Data [Language.Fixpoint.Smt.Bitvector.BvSize] = Language.Fixpoint.Smt.Bitvector.$fDataBvSize instance GHC.Classes.Eq [Language.Fixpoint.Smt.Bitvector.BvOp] = Language.Fixpoint.Smt.Bitvector.$fEqBvOp instance GHC.Classes.Eq [Language.Fixpoint.Smt.Bitvector.BvSize] = Language.Fixpoint.Smt.Bitvector.$fEqBvSize instance Language.Fixpoint.Types.Refinements.Expression [Language.Fixpoint.Smt.Bitvector.Bv] = Language.Fixpoint.Smt.Bitvector.$fExpressionBv instance GHC.Generics.Generic [Language.Fixpoint.Smt.Bitvector.BvOp] = Language.Fixpoint.Smt.Bitvector.$fGenericBvOp instance GHC.Generics.Generic [Language.Fixpoint.Smt.Bitvector.BvSize] = Language.Fixpoint.Smt.Bitvector.$fGenericBvSize instance GHC.Classes.Ord [Language.Fixpoint.Smt.Bitvector.BvOp] = Language.Fixpoint.Smt.Bitvector.$fOrdBvOp instance GHC.Classes.Ord [Language.Fixpoint.Smt.Bitvector.BvSize] = Language.Fixpoint.Smt.Bitvector.$fOrdBvSize instance GHC.Show.Show [Language.Fixpoint.Smt.Bitvector.BvOp] = Language.Fixpoint.Smt.Bitvector.$fShowBvOp instance GHC.Show.Show [Language.Fixpoint.Smt.Bitvector.BvSize] = Language.Fixpoint.Smt.Bitvector.$fShowBvSize family instance GHC.Generics.Rep [Language.Fixpoint.Smt.Bitvector.BvOp] = Language.Fixpoint.Smt.Bitvector.Rep_BvOp family instance GHC.Generics.Rep [Language.Fixpoint.Smt.Bitvector.BvSize] = Language.Fixpoint.Smt.Bitvector.Rep_BvSize trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: