==================== FINAL INTERFACE ==================== 2019-09-22 14:52:46.973783 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Horn.Types [family instance module] 8065 interface hash: 4880d42d9c46d46216e38f37035708f3 ABI hash: 0ae363ed255ece99a3de1063ec58a439 export-list hash: 9b0de31aa69a6babffad4da85add20a8 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: f0c339b2a0700d2422a10112f2d9778e opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Horn.Types.cLabel Language.Fixpoint.Horn.Types.dummyBind Language.Fixpoint.Horn.Types.okCstr Language.Fixpoint.Horn.Types.quals Language.Fixpoint.Horn.Types.Bind{Language.Fixpoint.Horn.Types.Bind bPred bSort bSym} Language.Fixpoint.Horn.Types.Cstr{Language.Fixpoint.Horn.Types.All Language.Fixpoint.Horn.Types.Any Language.Fixpoint.Horn.Types.CAnd Language.Fixpoint.Horn.Types.Head} Language.Fixpoint.Horn.Types.Pred{Language.Fixpoint.Horn.Types.PAnd Language.Fixpoint.Horn.Types.Reft Language.Fixpoint.Horn.Types.Var} Language.Fixpoint.Horn.Types.Query{Language.Fixpoint.Horn.Types.Query qCon qCstr qDis qQuals qVars} Language.Fixpoint.Horn.Types.Var{Language.Fixpoint.Horn.Types.HVar hvArgs hvMeta hvName} 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.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e 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.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 -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e hashNub ffbfe6b323d9b9a6b0c8a57a5eb3b302 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 mkQ efbd7d0eadf5b297611bd0cc8257edde import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 SEnv 7b76b1b3898bd64fc8c2187c261c0f80 emptySEnv 9f2c7c962f68c35c8835c06a06f1db76 insertSEnv 4288c53866870f2766a71eff8924b8fb lookupSEnv 94599d47b6378649795b045198f42e89 import -/ Language.Fixpoint.Types.Errors 31e8527559b26e3ce8fcf2acaba869c3 panic 87059ab6cc1a67158dab0a23bc2c22e7 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 dummySymbol 511b7e2d64aed867c4c005991f9f72f8 symbolString 8b7e66ffe1373b3c8eea5ece172dd4c9 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprintPrec b295810b8feece8a8ed0eedbebc0051f showpp a9f79fc9a75f72593341c16b4b8ac492 tracepp 8899c37de114d5de26a0fa6bae58ac89 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc Expr 58dd7eff6040aa97f060415235c6cb01 conjuncts 62dbde6d56cf10a600838f12dff254d8 syms cedb5518769db9d49f4ce507184c5e1f vv_ 84a95ce75000c5743a32bad10c33f3cc import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c intSort ab1a8687c0d53db967e03c16ee505e9c import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 dummyPos cec780948f0543a3aa56a856d0978b96 import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ syb-0.7:Data.Generics f4bddd07fe7227d2509acad55f9ff82d import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 193a8da174f543b2ef448a31321a0e0a $fDataBind :: Data.Data.Data Language.Fixpoint.Horn.Types.Bind DFunId 193a8da174f543b2ef448a31321a0e0a $fDataCstr :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Horn.Types.Cstr a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fDataPred :: Data.Data.Data Language.Fixpoint.Horn.Types.Pred DFunId 193a8da174f543b2ef448a31321a0e0a $fDataQuery :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Horn.Types.Query a) DFunId 49693393b4058ba73f4195bdab9e37ae $fDataVar :: Data.Data.Data a => Data.Data.Data (Language.Fixpoint.Horn.Types.Var a) DFunId 193a8da174f543b2ef448a31321a0e0a $fEqBind :: GHC.Classes.Eq Language.Fixpoint.Horn.Types.Bind DFunId 193a8da174f543b2ef448a31321a0e0a $fEqCstr :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Horn.Types.Cstr a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fEqPred :: GHC.Classes.Eq Language.Fixpoint.Horn.Types.Pred DFunId 49693393b4058ba73f4195bdab9e37ae $fEqVar :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Horn.Types.Var a) DFunId 193a8da174f543b2ef448a31321a0e0a $fFunctorCstr :: GHC.Base.Functor Language.Fixpoint.Horn.Types.Cstr DFunId 193a8da174f543b2ef448a31321a0e0a $fFunctorQuery :: GHC.Base.Functor Language.Fixpoint.Horn.Types.Query DFunId 49693393b4058ba73f4195bdab9e37ae $fFunctorVar :: GHC.Base.Functor Language.Fixpoint.Horn.Types.Var DFunId 193a8da174f543b2ef448a31321a0e0a $fGenericBind :: GHC.Generics.Generic Language.Fixpoint.Horn.Types.Bind DFunId 193a8da174f543b2ef448a31321a0e0a $fGenericCstr :: GHC.Generics.Generic (Language.Fixpoint.Horn.Types.Cstr a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fGenericPred :: GHC.Generics.Generic Language.Fixpoint.Horn.Types.Pred DFunId 193a8da174f543b2ef448a31321a0e0a $fGenericQuery :: GHC.Generics.Generic (Language.Fixpoint.Horn.Types.Query a) DFunId 49693393b4058ba73f4195bdab9e37ae $fGenericVar :: GHC.Generics.Generic (Language.Fixpoint.Horn.Types.Var a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fMonoidPred :: GHC.Base.Monoid Language.Fixpoint.Horn.Types.Pred DFunId 49693393b4058ba73f4195bdab9e37ae $fOrdVar :: GHC.Classes.Ord a => GHC.Classes.Ord (Language.Fixpoint.Horn.Types.Var a) DFunId 193a8da174f543b2ef448a31321a0e0a $fPPrintBind :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Horn.Types.Bind DFunId 193a8da174f543b2ef448a31321a0e0a $fPPrintCstr :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Horn.Types.Cstr a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fPPrintPred :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Horn.Types.Pred DFunId 49693393b4058ba73f4195bdab9e37ae $fPPrintVar :: Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Horn.Types.Var a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fSemigroupPred :: GHC.Base.Semigroup Language.Fixpoint.Horn.Types.Pred DFunId 193a8da174f543b2ef448a31321a0e0a $fShowBind :: GHC.Show.Show Language.Fixpoint.Horn.Types.Bind DFunId 193a8da174f543b2ef448a31321a0e0a $fShowCstr :: GHC.Show.Show (Language.Fixpoint.Horn.Types.Cstr a) DFunId d1e3c9d23c9780cb1438b15d925e1c45 $fShowPred :: GHC.Show.Show Language.Fixpoint.Horn.Types.Pred DFunId 49693393b4058ba73f4195bdab9e37ae $fShowVar :: GHC.Show.Show (Language.Fixpoint.Horn.Types.Var a) DFunId 12578ca4fc1beb3e7af78efdfa8b1945 $tc'All :: GHC.Types.TyCon 02a4ccf16e7e750de9fea6f8efadeada $tc'Any :: GHC.Types.TyCon c569a7a53d4bb44e60c68625781f08c1 $tc'Bind :: GHC.Types.TyCon 6c14bacb11f6749d62da6105c7dbb9b4 $tc'CAnd :: GHC.Types.TyCon 3be1bce45d4bc2ca34fada0a9b0d7cdc $tc'HVar :: GHC.Types.TyCon 11333521412999e3370b903818feaeff $tc'Head :: GHC.Types.TyCon 7edf05e8a1338f37cd0cfa1ea1f98d6e $tc'PAnd :: GHC.Types.TyCon 837e95b9e6002b8aa211b541fd8c55fd $tc'Query :: GHC.Types.TyCon fd93f60281627563f7a2107ae29cc6bc $tc'Reft :: GHC.Types.TyCon 2ed8a0201560633a645c5933726c48fd $tc'Var :: GHC.Types.TyCon 929aa8299361641adf439c01af9623b8 $tcBind :: GHC.Types.TyCon b3f05d2c9bbedd888672ffb51aad890c $tcCstr :: GHC.Types.TyCon f06bded93fad1166772315adb93a9efd $tcPred :: GHC.Types.TyCon 79605593779becc03776a5391e87fcb2 $tcQuery :: GHC.Types.TyCon dfb97a9401f3d1f985c458a055353866 $tcVar :: GHC.Types.TyCon 35579b299c7a0081083a7a99c43d1975 $trModule :: GHC.Types.Module 193a8da174f543b2ef448a31321a0e0a data Bind = Bind {bSym :: !Language.Fixpoint.Types.Names.Symbol, bSort :: !Language.Fixpoint.Types.Sorts.Sort, bPred :: !Language.Fixpoint.Horn.Types.Pred} 193a8da174f543b2ef448a31321a0e0a data Cstr a = Head !Language.Fixpoint.Horn.Types.Pred a | CAnd ![Language.Fixpoint.Horn.Types.Cstr a] | All !Language.Fixpoint.Horn.Types.Bind !(Language.Fixpoint.Horn.Types.Cstr a) | Any !Language.Fixpoint.Horn.Types.Bind !(Language.Fixpoint.Horn.Types.Cstr a) d1e3c9d23c9780cb1438b15d925e1c45 data Pred = Reft !Language.Fixpoint.Types.Refinements.Expr | Var !Language.Fixpoint.Types.Names.Symbol ![Language.Fixpoint.Types.Names.Symbol] | PAnd ![Language.Fixpoint.Horn.Types.Pred] 193a8da174f543b2ef448a31321a0e0a data Query a = Query {qQuals :: ![Language.Fixpoint.Types.Constraints.Qualifier], qVars :: ![Language.Fixpoint.Horn.Types.Var a], qCstr :: !(Language.Fixpoint.Horn.Types.Cstr a), qCon :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort, qDis :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort} 193a8da174f543b2ef448a31321a0e0a axiom Language.Fixpoint.Horn.Types.Rep_Bind:: GHC.Generics.Rep Language.Fixpoint.Horn.Types.Bind = GHC.Generics.D1 ('GHC.Generics.MetaData "Bind" "Language.Fixpoint.Horn.Types" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Bind" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "bSym") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "bSort") '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.Maybe.Just "bPred") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Horn.Types.Pred)))) 193a8da174f543b2ef448a31321a0e0a axiom Language.Fixpoint.Horn.Types.Rep_Cstr:: GHC.Generics.Rep (Language.Fixpoint.Horn.Types.Cstr a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Cstr" "Language.Fixpoint.Horn.Types" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) ((GHC.Generics.C1 ('GHC.Generics.MetaCons "Head" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Horn.Types.Pred) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 a)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "CAnd" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Horn.Types.Cstr a]))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "All" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Horn.Types.Bind) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Horn.Types.Cstr a))) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Any" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Horn.Types.Bind) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Horn.Types.Cstr a))))) d1e3c9d23c9780cb1438b15d925e1c45 axiom Language.Fixpoint.Horn.Types.Rep_Pred:: GHC.Generics.Rep Language.Fixpoint.Horn.Types.Pred = GHC.Generics.D1 ('GHC.Generics.MetaData "Pred" "Language.Fixpoint.Horn.Types" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Reft" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Var" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.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 "PAnd" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Horn.Types.Pred])))) 193a8da174f543b2ef448a31321a0e0a axiom Language.Fixpoint.Horn.Types.Rep_Query:: GHC.Generics.Rep (Language.Fixpoint.Horn.Types.Query a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Query" "Language.Fixpoint.Horn.Types" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Query" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qQuals") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Constraints.Qualifier]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qVars") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Horn.Types.Var a])) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qCstr") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Horn.Types.Cstr a)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qCon") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qDis") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort)))))) 49693393b4058ba73f4195bdab9e37ae axiom Language.Fixpoint.Horn.Types.Rep_Var:: GHC.Generics.Rep (Language.Fixpoint.Horn.Types.Var a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Var" "Language.Fixpoint.Horn.Types" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "HVar" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "hvName") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "hvArgs") '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.Maybe.Just "hvMeta") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 a)))) 49693393b4058ba73f4195bdab9e37ae data Var a = HVar {hvName :: !Language.Fixpoint.Types.Names.Symbol, hvArgs :: ![Language.Fixpoint.Types.Sorts.Sort], hvMeta :: a} 193a8da174f543b2ef448a31321a0e0a bPred :: Language.Fixpoint.Horn.Types.Bind -> Language.Fixpoint.Horn.Types.Pred RecSel Left Language.Fixpoint.Horn.Types.Bind 193a8da174f543b2ef448a31321a0e0a bSort :: Language.Fixpoint.Horn.Types.Bind -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Horn.Types.Bind 193a8da174f543b2ef448a31321a0e0a bSym :: Language.Fixpoint.Horn.Types.Bind -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Horn.Types.Bind 4c516ed871836729e5bbc24604fe9dc1 cLabel :: Language.Fixpoint.Horn.Types.Cstr a -> a ba958beb1ae24725314ed77315fcc626 dummyBind :: Language.Fixpoint.Horn.Types.Bind 49693393b4058ba73f4195bdab9e37ae hvArgs :: Language.Fixpoint.Horn.Types.Var a -> [Language.Fixpoint.Types.Sorts.Sort] RecSel Left Language.Fixpoint.Horn.Types.Var 49693393b4058ba73f4195bdab9e37ae hvMeta :: Language.Fixpoint.Horn.Types.Var a -> a RecSel Left Language.Fixpoint.Horn.Types.Var 49693393b4058ba73f4195bdab9e37ae hvName :: Language.Fixpoint.Horn.Types.Var a -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Horn.Types.Var 46880442e65296b3aeb4c62ee400b490 okCstr :: Language.Fixpoint.Horn.Types.Cstr a -> GHC.Types.Bool 193a8da174f543b2ef448a31321a0e0a qCon :: Language.Fixpoint.Horn.Types.Query a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Horn.Types.Query 193a8da174f543b2ef448a31321a0e0a qCstr :: Language.Fixpoint.Horn.Types.Query a -> Language.Fixpoint.Horn.Types.Cstr a RecSel Left Language.Fixpoint.Horn.Types.Query 193a8da174f543b2ef448a31321a0e0a qDis :: Language.Fixpoint.Horn.Types.Query a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Horn.Types.Query 193a8da174f543b2ef448a31321a0e0a qQuals :: Language.Fixpoint.Horn.Types.Query a -> [Language.Fixpoint.Types.Constraints.Qualifier] RecSel Left Language.Fixpoint.Horn.Types.Query 193a8da174f543b2ef448a31321a0e0a qVars :: Language.Fixpoint.Horn.Types.Query a -> [Language.Fixpoint.Horn.Types.Var a] RecSel Left Language.Fixpoint.Horn.Types.Query bc1d2039db25c5a86045cb50c09d8ade quals :: Language.Fixpoint.Horn.Types.Cstr a -> [Language.Fixpoint.Types.Constraints.Qualifier] instance Data.Data.Data [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Types.$fDataBind instance Data.Data.Data [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.$fDataCstr instance Data.Data.Data [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fDataPred instance Data.Data.Data [Language.Fixpoint.Horn.Types.Query] = Language.Fixpoint.Horn.Types.$fDataQuery instance Data.Data.Data [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fDataVar instance GHC.Classes.Eq [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Types.$fEqBind instance GHC.Classes.Eq [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.$fEqCstr instance GHC.Classes.Eq [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fEqPred instance GHC.Classes.Eq [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fEqVar instance GHC.Base.Functor [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.$fFunctorCstr instance GHC.Base.Functor [Language.Fixpoint.Horn.Types.Query] = Language.Fixpoint.Horn.Types.$fFunctorQuery instance GHC.Base.Functor [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fFunctorVar instance GHC.Generics.Generic [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Types.$fGenericBind instance GHC.Generics.Generic [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.$fGenericCstr instance GHC.Generics.Generic [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fGenericPred instance GHC.Generics.Generic [Language.Fixpoint.Horn.Types.Query] = Language.Fixpoint.Horn.Types.$fGenericQuery instance GHC.Generics.Generic [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fGenericVar instance GHC.Base.Monoid [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fMonoidPred instance GHC.Classes.Ord [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fOrdVar instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Types.$fPPrintBind instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.$fPPrintCstr instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fPPrintPred instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fPPrintVar instance GHC.Base.Semigroup [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fSemigroupPred instance GHC.Show.Show [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Types.$fShowBind instance GHC.Show.Show [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.$fShowCstr instance GHC.Show.Show [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.$fShowPred instance GHC.Show.Show [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.$fShowVar family instance GHC.Generics.Rep [Language.Fixpoint.Horn.Types.Query] = Language.Fixpoint.Horn.Types.Rep_Query family instance GHC.Generics.Rep [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Types.Rep_Cstr family instance GHC.Generics.Rep [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Types.Rep_Bind family instance GHC.Generics.Rep [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Types.Rep_Pred family instance GHC.Generics.Rep [Language.Fixpoint.Horn.Types.Var] = Language.Fixpoint.Horn.Types.Rep_Var trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: