==================== FINAL INTERFACE ==================== 2019-09-22 14:52:36.440294 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints [orphan module] [family instance module] 8065 interface hash: 914c1357dc15b95acbb9ed679bb40a90 ABI hash: 5290ca1fe775ef899496b3cb4cf11436 export-list hash: 12c9708cdb7cc8f94e739104f060796e orphan hash: 06599f48edcce2af285cb6737f790708 flag hash: d94283aca06b9355db6dda64e0ccabbd opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Constraints.addIds Language.Fixpoint.Types.Constraints.allowHO Language.Fixpoint.Types.Constraints.allowHOquals Language.Fixpoint.Types.Constraints.convertFormat Language.Fixpoint.Types.Constraints.fi Language.Fixpoint.Types.Constraints.gwInfo Language.Fixpoint.Types.Constraints.isGWfc Language.Fixpoint.Types.Constraints.isSafe Language.Fixpoint.Types.Constraints.isUnsafe Language.Fixpoint.Types.Constraints.ksMember Language.Fixpoint.Types.Constraints.mkEquation Language.Fixpoint.Types.Constraints.mkQ Language.Fixpoint.Types.Constraints.mkQual Language.Fixpoint.Types.Constraints.mkSubC Language.Fixpoint.Types.Constraints.qualBinds Language.Fixpoint.Types.Constraints.qualifier Language.Fixpoint.Types.Constraints.remakeQual Language.Fixpoint.Types.Constraints.safe Language.Fixpoint.Types.Constraints.saveQuery Language.Fixpoint.Types.Constraints.shiftVV Language.Fixpoint.Types.Constraints.sortVars Language.Fixpoint.Types.Constraints.strengthenBinds Language.Fixpoint.Types.Constraints.strengthenHyp Language.Fixpoint.Types.Constraints.subC Language.Fixpoint.Types.Constraints.subcId Language.Fixpoint.Types.Constraints.substVars Language.Fixpoint.Types.Constraints.toFixpoint Language.Fixpoint.Types.Constraints.toGFixSol Language.Fixpoint.Types.Constraints.trueQual Language.Fixpoint.Types.Constraints.unsafe Language.Fixpoint.Types.Constraints.updateWfCExpr Language.Fixpoint.Types.Constraints.wfC Language.Fixpoint.Types.Constraints.writeFInfo Language.Fixpoint.Types.Constraints.AxiomEnv{Language.Fixpoint.Types.Constraints.AEnv aenvEqs aenvExpand aenvSimpl} Language.Fixpoint.Types.Constraints.Equation{Language.Fixpoint.Types.Constraints.Equ eqArgs eqBody eqName eqRec eqSort} Language.Fixpoint.Types.Constraints.FInfo Language.Fixpoint.Types.Constraints.FInfoWithOpts{Language.Fixpoint.Types.Constraints.FIO fioFI fioOpts} Language.Fixpoint.Types.Constraints.FixSolution Language.Fixpoint.Types.Constraints.GFixSolution Language.Fixpoint.Types.Constraints.GInfo{Language.Fixpoint.Types.Constraints.FI ae asserts bindInfo bs cm dLits ddecls ebinds gLits hoInfo kuts quals ws} Language.Fixpoint.Types.Constraints.GWInfo{Language.Fixpoint.Types.Constraints.GWInfo gexpr ginfo gsort gsym} Language.Fixpoint.Types.Constraints.HOInfo{Language.Fixpoint.Types.Constraints.HOI hoBinds hoQuals} Language.Fixpoint.Types.Constraints.Kuts{Language.Fixpoint.Types.Constraints.KS ksVars} Language.Fixpoint.Types.Constraints.QualParam{Language.Fixpoint.Types.Constraints.QP qpPat qpSort qpSym} Language.Fixpoint.Types.Constraints.QualPattern{Language.Fixpoint.Types.Constraints.PatExact Language.Fixpoint.Types.Constraints.PatNone Language.Fixpoint.Types.Constraints.PatPrefix Language.Fixpoint.Types.Constraints.PatSuffix} Language.Fixpoint.Types.Constraints.Qualifier{Language.Fixpoint.Types.Constraints.Q qBody qName qParams qPos} Language.Fixpoint.Types.Constraints.Result{Language.Fixpoint.Types.Constraints.Result gresSolution resSolution resStatus} Language.Fixpoint.Types.Constraints.Rewrite{Language.Fixpoint.Types.Constraints.SMeasure smArgs smBody smDC smName} Language.Fixpoint.Types.Constraints.SInfo Language.Fixpoint.Types.Constraints.SimpC{Language.Fixpoint.Types.Constraints.SimpC _cenv _cid _cinfo _crhs _ctag cbind} Language.Fixpoint.Types.Constraints.Solver Language.Fixpoint.Types.Constraints.SubC{slhs srhs} Language.Fixpoint.Types.Constraints.SubcId Language.Fixpoint.Types.Constraints.Tag Language.Fixpoint.Types.Constraints.TaggedC{Language.Fixpoint.Types.Constraints.clhs Language.Fixpoint.Types.Constraints.crhs Language.Fixpoint.Types.Constraints.senv Language.Fixpoint.Types.Constraints.sid Language.Fixpoint.Types.Constraints.sinfo Language.Fixpoint.Types.Constraints.stag} Language.Fixpoint.Types.Constraints.WfC{Language.Fixpoint.Types.Constraints.GWfC Language.Fixpoint.Types.Constraints.WfC wenv wexpr winfo wloc wrft} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.Config 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.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: 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.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.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:Control.Monad 07eaec7fd256019b318d048d00f45b1c 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.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e 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.IO 898d4ddbf00eb4732e5f462760aa42ae import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Real af2b985dd29515c375fb78b2c9298d42 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ binary-0.8.6.0:Data.Binary 47a89cefaa44e49e7fd21d133fce6a7e import -/ binary-0.8.6.0:Data.Binary.Class 4a00b809573ad7c27e489f5b66886719 import -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e ensurePath b92908154869eb5d0777411abad08aef errorstar e47c2d482124b43e020a405f809adcff intersperse 3560fd9d33e532745e7669346fe553d7 mfromJust 9c8b28fdf1584226a8ed2f48418902d1 safeFromList ffb512f65f2eeddc9493ad364e135e8d safeLookup de93685c8ce33b5619842061a589410f sortNub 7d73d874da71f31bd97dc544f8572fc4 tshow 044dfce5ef708f72e5ca59e37dc09756 import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 Eliminate be2044875a0f03107ba04bae40380905 SMTSolver 16932a7b6f7e2d9f5e812b1ebb37105a metadata 3988ec36858b82afed711ea7ff67ff00 queryFile 24dfc95af04dba576b5be5b6594619e1 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 exports: ab8867d60d15ba2af38632b8e3ed1bf3 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 BindId c1dc08df6d648ef575cab1d33fc5df7b IBindEnv b71d4c279d7a7920d70dd44bac0305aa SEnv 7b76b1b3898bd64fc8c2187c261c0f80 adjustBindEnv 03a20071911999e08cc0bbf23913313f envCs e423fff58f01e321ca4ef94ca8a41936 insertBindEnv bc97de86c3ec6f664abb49ca068d7984 insertsIBindEnv dca3e4d95477ee71c84a2814faf94fea lookupSEnv 94599d47b6378649795b045198f42e89 mapBindEnv 32197c169397373f8fac7df4bdb16c5f splitByQuantifiers 47e055b3941151cd8d69091c12631895 toListSEnv ddd97c9c472b637e00dcfff9c958a991 import -/ Language.Fixpoint.Types.Errors 31e8527559b26e3ce8fcf2acaba869c3 exports: 89a9dc85e57ecc980170ae7cb32d2921 Crash 8dce1b12135eab1786bee372065fb937 FixResult c0716f0e4597e606e45487edbbbeea3f Safe d22144b54cf2a4f4ae6a38095fc7dbe3 Unsafe f41fb70ee1e83c00b795f94fcef4262f import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 Symbol 3f986d27cdf6315dd770c516fc00a643 intSymbol a4ae136aedf5d0fada743997e9c6751f isPrim 4fab3a36c40c906c0a228dd06b3191af symbol 8093c1d4f5a85b247a3a96c3fce3245c symbolString 8b7e66ffe1373b3c8eea5ece172dd4c9 tempSymbol ac0fc26b1fb0db2f55f076cb0bf5d40b vv cb8457010f51db330c497f8b29772025 vvCon 4e050294d1f45d7c7aa27a5f22279550 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 DocTable b770cb7429f7fb2e003768f2afd382a6 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a PTable e8b4bbc42515b2faadf940cf2792c24b Tidy 222d036ecc7fd8f220064937c0399cf9 pprint 955dc9d031db587300edf6146ac33be4 pprintTidy bf75bee99d55ab15929b450195e64f3c showFix 3e850f4dba10210e482ff12d7ed17f7e showpp a9f79fc9a75f72593341c16b4b8ac492 toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc exports: c373b88351492ec6aa75dffded20541a EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 GradInfo af986c6f2ab8500fff12f403a43796ed HasGradual 084d0b817b4e7c51b90fee6560e33ff3 KVar f4ebd74e51621c4f10e9fc003e3885a9 PAnd 668269c725f0f517f2cefead144acbec PGrad 550de568c0242ed5fa6ef66e4aa1194d PKVar 00776deded6bdc1a9b45a9cd2ff73aa5 RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 Reft 58dd7eff6040aa97f060415235c6cb01 SortedReft 58dd7eff6040aa97f060415235c6cb01 Subable 60165a51c7f24051113a59802b59cd27 isGradual 269028ff1040ff0bd61307fd28ecd9c4 isTautoPred b0ebfe363526526426c55e6ea6cc9f4d kv f4ebd74e51621c4f10e9fc003e3885a9 pAnd d997a1bd3b1f67d4020526858eca07c4 reftBind 7d25a7e481f945537851203dd83cae77 reftConjuncts 527dc5e5e7463d3cd54501ed54246c2b reftPred 9d7b055289a88730385e70810b114b97 sr_reft 58dd7eff6040aa97f060415235c6cb01 sr_sort 58dd7eff6040aa97f060415235c6cb01 subst 8dc51beb28f3e734b2b3097edf7df9c8 subst1 32fda17df52baa2dc57c3f6fcba8c1ae substa 4128f370b0314e7d7d083d0dc7d38a4c substf 2a7829ff8a455a2f5d2182c05514a458 syms cedb5518769db9d49f4ce507184c5e1f trueReft b1755155d9be8c8f361db2f542991fc4 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 exports: b866d80011faf2d8f77449fdc11dc733 DataDecl 90984d28a9f3c849d44b1ec37334f5cb FAbs 8827fd69dabe452c42c2c745dfa98689 FApp 1d71c4ce8486fd8718c15888c11af1b5 FFunc a2098452dd53c51f7531db6145200e8d FObj 1bb5d6e74aaa46fc1c29e2a322aa25fa FVar a3c34a432d4203ec59fb1483b26cb260 Sort 30d6fd7d99459ff88296e3b55c87b46c fObj 7b7c9027c8922a15fc7940a9ec0ef6cb import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 exports: 9e9118ba5257e743a1e1c46db3e4cd33 Loc 0a266231e9bb3b9aa09383fd7f3e48ff Loc 4962bb0bc274d9001b974c3326b63480 SS afc18641865e1d45f99679b3f3b93be2 dummyPos cec780948f0543a3aa56a856d0978b96 srcSpan 2b3eb671678320980d11df21e110f501 import -/ Language.Fixpoint.Types.Substitutions 68389730f57eb1bd783731c1e8e83435 exports: 49819ba83f4a612781a90fc7826a8b86 isEmptySubst b3b6c49fe47730d145bb45f196f54731 import -/ Language.Fixpoint.Types.Triggers 8abd2355db756b37b9b5fb3b0ce44e32 exports: 2bb69e357ec17911b5073b7a3bd31064 Triggered d4e347d662ffae46e19beccd9e71f8e0 import -/ Language.Fixpoint.Utils.Files b2b779ebebf03f66af4a684b17d25d25 exports: 061e3dd63eb42c6c413f2db46ae3d0cb BinFq a3c45c1a772e358bc5d2bbc7e425af6e Fq 547b6c5b658fb44117c7a08cfaa442bb import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 <-> a6bccb4500bca89f567c047995747774 import -/ parsec-3.1.13.0:Text.Parsec.Pos 61aa6625e3bc17c83ef95500ead7d960 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 import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 90ef96c47f269969affd7c3639af34f3 $fBinaryAxiomEnv :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 01a52ef00a1e1aebadec63adbe24a9bf $fBinaryEliminate :: Data.Binary.Class.Binary Language.Fixpoint.Types.Config.Eliminate DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fBinaryEquation :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.Equation DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fBinaryGFixSol :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.GFixSolution DFunId 90ef96c47f269969affd7c3639af34f3 $fBinaryGInfo :: (Data.Binary.Class.Binary (c a), Data.Binary.Class.Binary a) => Data.Binary.Class.Binary (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 631d20d0918c14b74d892903e40cbdc3 $fBinaryGWInfo :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.GWInfo DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fBinaryHOInfo :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fBinaryKuts :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.Kuts DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fBinaryQualParam :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fBinaryQualPattern :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fBinaryQualifier :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.Qualifier DFunId 7df085a191521cbf745e28451770fe1d $fBinaryRewrite :: Data.Binary.Class.Binary Language.Fixpoint.Types.Constraints.Rewrite DFunId 95788bd54707afb27a03321d3bbd928f $fBinarySMTSolver :: Data.Binary.Class.Binary Language.Fixpoint.Types.Config.SMTSolver DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fBinarySimpC :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fBinarySubC :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fBinaryWfC :: Data.Binary.Class.Binary a => Data.Binary.Class.Binary (Language.Fixpoint.Types.Constraints.WfC a) DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fDataQualParam :: Data.Data.Data Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fDataQualPattern :: Data.Data.Data Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fDataQualifier :: Data.Data.Data Language.Fixpoint.Types.Constraints.Qualifier DFunId 90ef96c47f269969affd7c3639af34f3 $fEqAxiomEnv :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fEqEquation :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.Equation DFunId 90ef96c47f269969affd7c3639af34f3 $fEqGInfo :: (GHC.Classes.Eq a, GHC.Classes.Eq (c a)) => GHC.Classes.Eq (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 631d20d0918c14b74d892903e40cbdc3 $fEqGWInfo :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.GWInfo DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fEqHOInfo :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fEqKuts :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.Kuts DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fEqQualParam :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fEqQualPattern :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fEqQualifier :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.Qualifier DFunId 7df085a191521cbf745e28451770fe1d $fEqRewrite :: GHC.Classes.Eq Language.Fixpoint.Types.Constraints.Rewrite DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fEqSubC :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fEqWfC :: GHC.Classes.Eq a => GHC.Classes.Eq (Language.Fixpoint.Types.Constraints.WfC a) DFunId 90ef96c47f269969affd7c3639af34f3 $fFixpointAxiomEnv :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 61b0b7ff8257b1fbada5dab7fad2bc8b $fFixpointDoc :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Text.PrettyPrint.HughesPJ.Doc DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fFixpointEquation :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Constraints.Equation DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fFixpointFixResult :: (GHC.Classes.Ord a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Errors.FixResult (Language.Fixpoint.Types.Constraints.SubC a)) DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fFixpointKuts :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Constraints.Kuts DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fFixpointQualParam :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Constraints.QualParam DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fFixpointQualifier :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Constraints.Qualifier DFunId 7df085a191521cbf745e28451770fe1d $fFixpointRewrite :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Constraints.Rewrite DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fFixpointSimpC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fFixpointSubC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fFixpointWfC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.Fixpoint (Language.Fixpoint.Types.Constraints.WfC a) DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fFunctorGFixSol :: GHC.Base.Functor Language.Fixpoint.Types.Constraints.GFixSol DFunId 90ef96c47f269969affd7c3639af34f3 $fFunctorGInfo :: GHC.Base.Functor c => GHC.Base.Functor (Language.Fixpoint.Types.Constraints.GInfo c) DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fFunctorResult :: GHC.Base.Functor Language.Fixpoint.Types.Constraints.Result DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fFunctorSimpC :: GHC.Base.Functor Language.Fixpoint.Types.Constraints.SimpC DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fFunctorSubC :: GHC.Base.Functor Language.Fixpoint.Types.Constraints.SubC DFunId ad7a627c031dc594c719d4e423bdd067 $fFunctorWfC :: GHC.Base.Functor Language.Fixpoint.Types.Constraints.WfC DFunId 90ef96c47f269969affd7c3639af34f3 $fGenericAxiomEnv :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fGenericEquation :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.Equation DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fGenericGFixSol :: GHC.Generics.Generic (Language.Fixpoint.Types.Constraints.GFixSol e) DFunId 90ef96c47f269969affd7c3639af34f3 $fGenericGInfo :: GHC.Generics.Generic (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 631d20d0918c14b74d892903e40cbdc3 $fGenericGWInfo :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.GWInfo DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fGenericHOInfo :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fGenericKuts :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.Kuts DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fGenericQualParam :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fGenericQualPattern :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fGenericQualifier :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.Qualifier DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fGenericResult :: GHC.Generics.Generic (Language.Fixpoint.Types.Constraints.Result a) DFunId 7df085a191521cbf745e28451770fe1d $fGenericRewrite :: GHC.Generics.Generic Language.Fixpoint.Types.Constraints.Rewrite DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fGenericSimpC :: GHC.Generics.Generic (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fGenericSubC :: GHC.Generics.Generic (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fGenericWfC :: GHC.Generics.Generic (Language.Fixpoint.Types.Constraints.WfC a) DFunId 90ef96c47f269969affd7c3639af34f3 $fHasGradualGInfo :: Language.Fixpoint.Types.Refinements.HasGradual (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId ad7a627c031dc594c719d4e423bdd067 $fHasGradualWfC :: Language.Fixpoint.Types.Refinements.HasGradual (Language.Fixpoint.Types.Constraints.WfC a) DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fLocQualifier :: Language.Fixpoint.Types.Spans.Loc Language.Fixpoint.Types.Constraints.Qualifier DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fLocSimpC :: Language.Fixpoint.Types.Spans.Loc a => Language.Fixpoint.Types.Spans.Loc (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 90ef96c47f269969affd7c3639af34f3 $fMonoidAxiomEnv :: GHC.Base.Monoid Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fMonoidGFixSol :: GHC.Base.Monoid (Language.Fixpoint.Types.Constraints.GFixSol e) DFunId 90ef96c47f269969affd7c3639af34f3 $fMonoidGInfo :: GHC.Base.Monoid (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fMonoidHOInfo :: GHC.Base.Monoid Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fMonoidKuts :: GHC.Base.Monoid Language.Fixpoint.Types.Constraints.Kuts DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fMonoidResult :: GHC.Base.Monoid (Language.Fixpoint.Types.Constraints.Result a) DFunId 90ef96c47f269969affd7c3639af34f3 $fNFDataAxiomEnv :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.AxiomEnv DFunId e1572a270c50e4e65d93b73d5f7ca224 $fNFDataEliminate :: Control.DeepSeq.NFData Language.Fixpoint.Types.Config.Eliminate DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fNFDataEquation :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.Equation DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fNFDataGFixSol :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.GFixSolution DFunId 90ef96c47f269969affd7c3639af34f3 $fNFDataGInfo :: (Control.DeepSeq.NFData (c a), Control.DeepSeq.NFData a) => Control.DeepSeq.NFData (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 631d20d0918c14b74d892903e40cbdc3 $fNFDataGWInfo :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.GWInfo DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fNFDataHOInfo :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fNFDataKuts :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.Kuts DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fNFDataQualParam :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fNFDataQualPattern :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fNFDataQualifier :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.Qualifier DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fNFDataResult :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Constraints.Result a) DFunId 7df085a191521cbf745e28451770fe1d $fNFDataRewrite :: Control.DeepSeq.NFData Language.Fixpoint.Types.Constraints.Rewrite DFunId f9cc44a480623cf7ac4bdaa33d158b0b $fNFDataSMTSolver :: Control.DeepSeq.NFData Language.Fixpoint.Types.Config.SMTSolver DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fNFDataSimpC :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fNFDataSubC :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fNFDataWfC :: Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Language.Fixpoint.Types.Constraints.WfC a) DFunId 90ef96c47f269969affd7c3639af34f3 $fPPrintAxiomEnv :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fPPrintEquation :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.Equation DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fPPrintGFixSol :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.GFixSolution DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fPPrintQualParam :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fPPrintQualPattern :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fPPrintQualifier :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.Qualifier DFunId 7df085a191521cbf745e28451770fe1d $fPPrintRewrite :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Constraints.Rewrite DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fPPrintSimpC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fPPrintSubC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fPPrintWfC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Constraints.WfC a) DFunId 90ef96c47f269969affd7c3639af34f3 $fPTableGInfo :: Language.Fixpoint.Types.PrettyPrint.PTable (Language.Fixpoint.Types.Constraints.SInfo a) DFunId 90ef96c47f269969affd7c3639af34f3 $fSemigroupAxiomEnv :: GHC.Base.Semigroup Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fSemigroupGFixSol :: GHC.Base.Semigroup (Language.Fixpoint.Types.Constraints.GFixSol e) DFunId 90ef96c47f269969affd7c3639af34f3 $fSemigroupGInfo :: GHC.Base.Semigroup (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fSemigroupHOInfo :: GHC.Base.Semigroup Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fSemigroupKuts :: GHC.Base.Semigroup Language.Fixpoint.Types.Constraints.Kuts DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fSemigroupResult :: GHC.Base.Semigroup (Language.Fixpoint.Types.Constraints.Result a) DFunId 90ef96c47f269969affd7c3639af34f3 $fShowAxiomEnv :: GHC.Show.Show Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fShowEquation :: GHC.Show.Show Language.Fixpoint.Types.Constraints.Equation DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fShowGFixSol :: GHC.Show.Show Language.Fixpoint.Types.Constraints.GFixSolution DFunId 90ef96c47f269969affd7c3639af34f3 $fShowGInfo :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, GHC.Show.Show a, GHC.Show.Show (c a)) => GHC.Show.Show (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 35e5222a97ffd1e6ee6c34a5f394f10e $fShowHOInfo :: GHC.Show.Show Language.Fixpoint.Types.Constraints.HOInfo DFunId 72e8e948b4d2861f1e29f60f1aa59a0c $fShowKuts :: GHC.Show.Show Language.Fixpoint.Types.Constraints.Kuts DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fShowQualParam :: GHC.Show.Show Language.Fixpoint.Types.Constraints.QualParam DFunId df6d07f9885eb5e5b345a33c505d8e73 $fShowQualPattern :: GHC.Show.Show Language.Fixpoint.Types.Constraints.QualPattern DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fShowQualifier :: GHC.Show.Show Language.Fixpoint.Types.Constraints.Qualifier DFunId 9b37020b88a84332f42c4a4efcccc0c2 $fShowResult :: GHC.Show.Show a => GHC.Show.Show (Language.Fixpoint.Types.Constraints.Result a) DFunId 7df085a191521cbf745e28451770fe1d $fShowRewrite :: GHC.Show.Show Language.Fixpoint.Types.Constraints.Rewrite DFunId 03dcffeea2a5199db7c9ff0154825bc0 $fShowSimpC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Show.Show (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 1844afeba4cbd3ee9cea173e868f8ce9 $fShowSubC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Show.Show (Language.Fixpoint.Types.Constraints.SubC a) DFunId ad7a627c031dc594c719d4e423bdd067 $fShowWfC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => GHC.Show.Show (Language.Fixpoint.Types.Constraints.WfC a) DFunId 1b8c537886bd491bbeaae4b7cdcd5c8f $fSubableEquation :: Language.Fixpoint.Types.Refinements.Subable Language.Fixpoint.Types.Constraints.Equation DFunId 9aae2bcc537b45559d03a4eee2bb72e5 $fSubableQualifier :: Language.Fixpoint.Types.Refinements.Subable Language.Fixpoint.Types.Constraints.Qualifier DFunId ec47f4df806fb3eb50e32a07ab4ee371 $fTaggedCSimpCa :: Language.Fixpoint.Types.Constraints.TaggedC Language.Fixpoint.Types.Constraints.SimpC a DFunId ec47f4df806fb3eb50e32a07ab4ee371 $fTaggedCSubCa :: Language.Fixpoint.Types.Constraints.TaggedC Language.Fixpoint.Types.Constraints.SubC a DFunId 3565b95400f00c3ff6ad555ca3c54d48 $tc'AEnv :: GHC.Types.TyCon 135e13e690e7b98d837cc37bc7168905 $tc'C:TaggedC :: GHC.Types.TyCon 379da89668513a99f1d8e7f2ba32d0b4 $tc'Equ :: GHC.Types.TyCon cc741582f2e99eaaa1cf1d5493e8238b $tc'FI :: GHC.Types.TyCon f600810e1bbfa0c5da81f6245ef13b34 $tc'FIO :: GHC.Types.TyCon 04a2deaa8a52eb8ee2ebbb11f6e999ea $tc'GSol :: GHC.Types.TyCon eec30ea9e4492be3c0c7f23b490f325d $tc'GWInfo :: GHC.Types.TyCon 884e7e3aa9d379428aed671670c24282 $tc'GWfC :: GHC.Types.TyCon b61dcd12a6172d89e5329d6926b13e31 $tc'HOI :: GHC.Types.TyCon 81af19df64fd1109ca15c0c862712272 $tc'KS :: GHC.Types.TyCon 70a2c3eb655976214863d791d52687e8 $tc'PatExact :: GHC.Types.TyCon 905dc4edc68c6d241337f256fcb48256 $tc'PatNone :: GHC.Types.TyCon c3a19c5316fd24f589f5a3f2880a2653 $tc'PatPrefix :: GHC.Types.TyCon a4fcefcef00b4c2f827bcbc8172afa4d $tc'PatSuffix :: GHC.Types.TyCon 6eb2f42b750537fcac392d0b13b51d4a $tc'Q :: GHC.Types.TyCon b1a7dc296b96d9caf564784304bec522 $tc'QP :: GHC.Types.TyCon 16a613ab8ba889194b2c66df177b94bd $tc'Result :: GHC.Types.TyCon 3186623b123681ed29216f677577d3da $tc'SMeasure :: GHC.Types.TyCon c5972669c9102bc548c4a5e7f68e1025 $tc'SimpC :: GHC.Types.TyCon 33923082bd78a741c71f7a6ba0e93a8d $tc'SubC :: GHC.Types.TyCon 14bc7c37413dc30eeb0b642e636d986d $tc'WfC :: GHC.Types.TyCon 84708b0d31bed5c130dfe2078ec6eb80 $tcAxiomEnv :: GHC.Types.TyCon 57d2adda34cdf1392e9637f4a6bc83b2 $tcEquation :: GHC.Types.TyCon dbf60614dcf195d13fa2de01020b0613 $tcFInfoWithOpts :: GHC.Types.TyCon 256b1868806f073cf90963bc3e92b378 $tcGFixSol :: GHC.Types.TyCon 478e41b3df1f3e85e32292cb86b93e19 $tcGInfo :: GHC.Types.TyCon ef5b9c20b3120d7cfcca93a76b1ddfb9 $tcGWInfo :: GHC.Types.TyCon 314807b7b63940cb2ee3a553356a9df2 $tcHOInfo :: GHC.Types.TyCon 5c63b77657b0d43f98cf3a9cf60b5142 $tcKuts :: GHC.Types.TyCon 972f090fde0dbc7b638eed5fa9903ec2 $tcQualParam :: GHC.Types.TyCon 1b330157a3b9e52d74f1ff05f3ded5a0 $tcQualPattern :: GHC.Types.TyCon b2471035cd873e55e921b6ca4c5dd788 $tcQualifier :: GHC.Types.TyCon 566f8f40f463f11d386472241c27908a $tcResult :: GHC.Types.TyCon d6f47eca876b1ea50966a78a5aa6915e $tcRewrite :: GHC.Types.TyCon e442562f99b14834bceb5df84c08baae $tcSimpC :: GHC.Types.TyCon fa38d931f4d790fefa387f80a0977d39 $tcSubC :: GHC.Types.TyCon a3d917692ee4884fe049665875bd73b4 $tcTaggedC :: GHC.Types.TyCon 2f9d61a466012cb6f22b7cf202cc70c0 $tcWfC :: GHC.Types.TyCon 954e522ae068ffeb7cfd1f1f68f177a8 $trModule :: GHC.Types.Module 90ef96c47f269969affd7c3639af34f3 data AxiomEnv = AEnv {aenvEqs :: ![Language.Fixpoint.Types.Constraints.Equation], aenvSimpl :: ![Language.Fixpoint.Types.Constraints.Rewrite], aenvExpand :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId GHC.Types.Bool} 9a94738766e4f3045d4af6eaf0d2fc6b type BindM = Data.HashMap.Base.HashMap GHC.Integer.Type.Integer Language.Fixpoint.Types.Environments.BindId 1b8c537886bd491bbeaae4b7cdcd5c8f data Equation = Equ {eqName :: !Language.Fixpoint.Types.Names.Symbol, eqArgs :: [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)], eqBody :: !Language.Fixpoint.Types.Refinements.Expr, eqSort :: !Language.Fixpoint.Types.Sorts.Sort, eqRec :: !GHC.Types.Bool} b6d52641b5c0c13c0e61844e2114eb16 type FInfo a = Language.Fixpoint.Types.Constraints.GInfo Language.Fixpoint.Types.Constraints.SubC a 803d2f995b056771c08edfce347cb407 type role FInfoWithOpts nominal data FInfoWithOpts a = FIO {fioFI :: Language.Fixpoint.Types.Constraints.FInfo a, fioOpts :: [GHC.Base.String]} e5dd9fe1547120a043f58991c78a60c9 type FixSolution = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Refinements.Expr 9b37020b88a84332f42c4a4efcccc0c2 newtype GFixSol e = GSol (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (e, [e])) 9b37020b88a84332f42c4a4efcccc0c2 type GFixSolution = Language.Fixpoint.Types.Constraints.GFixSol Language.Fixpoint.Types.Refinements.Expr 90ef96c47f269969affd7c3639af34f3 type role GInfo representational nominal data GInfo (c :: * -> *) a = FI {cm :: !(Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId (c a)), ws :: !(Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a)), bs :: !Language.Fixpoint.Types.Environments.BindEnv, ebinds :: ![Language.Fixpoint.Types.Environments.BindId], gLits :: !(Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort), dLits :: !(Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort), kuts :: !Language.Fixpoint.Types.Constraints.Kuts, quals :: ![Language.Fixpoint.Types.Constraints.Qualifier], bindInfo :: !(Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId a), ddecls :: ![Language.Fixpoint.Types.Sorts.DataDecl], hoInfo :: !Language.Fixpoint.Types.Constraints.HOInfo, asserts :: ![Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr], ae :: Language.Fixpoint.Types.Constraints.AxiomEnv} 631d20d0918c14b74d892903e40cbdc3 data GWInfo = GWInfo {gsym :: Language.Fixpoint.Types.Names.Symbol, gsort :: Language.Fixpoint.Types.Sorts.Sort, gexpr :: Language.Fixpoint.Types.Refinements.Expr, ginfo :: Language.Fixpoint.Types.Refinements.GradInfo} 35e5222a97ffd1e6ee6c34a5f394f10e data HOInfo = HOI {hoBinds :: GHC.Types.Bool, hoQuals :: GHC.Types.Bool} 72e8e948b4d2861f1e29f60f1aa59a0c newtype Kuts = KS {ksVars :: Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar} 9aae2bcc537b45559d03a4eee2bb72e5 data QualParam = QP {qpSym :: !Language.Fixpoint.Types.Names.Symbol, qpPat :: !Language.Fixpoint.Types.Constraints.QualPattern, qpSort :: !Language.Fixpoint.Types.Sorts.Sort} df6d07f9885eb5e5b345a33c505d8e73 data QualPattern = PatNone | PatPrefix !Language.Fixpoint.Types.Names.Symbol !GHC.Types.Int | PatSuffix !GHC.Types.Int !Language.Fixpoint.Types.Names.Symbol | PatExact !Language.Fixpoint.Types.Names.Symbol 9aae2bcc537b45559d03a4eee2bb72e5 data Qualifier = Q {qName :: !Language.Fixpoint.Types.Names.Symbol, qParams :: [Language.Fixpoint.Types.Constraints.QualParam], qBody :: !Language.Fixpoint.Types.Refinements.Expr, qPos :: !Text.Parsec.Pos.SourcePos} 90ef96c47f269969affd7c3639af34f3 axiom Language.Fixpoint.Types.Constraints.Rep_AxiomEnv:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.AxiomEnv = GHC.Generics.D1 ('GHC.Generics.MetaData "AxiomEnv" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "AEnv" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "aenvEqs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Constraints.Equation]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "aenvSimpl") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Constraints.Rewrite]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "aenvExpand") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId GHC.Types.Bool))))) 1b8c537886bd491bbeaae4b7cdcd5c8f axiom Language.Fixpoint.Types.Constraints.Rep_Equation:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.Equation = GHC.Generics.D1 ('GHC.Generics.MetaData "Equation" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Equ" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "eqName") '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 "eqArgs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)])) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "eqBody") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "eqSort") '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 "eqRec") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Bool))))) 9b37020b88a84332f42c4a4efcccc0c2 axiom Language.Fixpoint.Types.Constraints.Rep_GFixSol:: GHC.Generics.Rep (Language.Fixpoint.Types.Constraints.GFixSol e) = GHC.Generics.D1 ('GHC.Generics.MetaData "GFixSol" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "GSol" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (e, [e]))))) 90ef96c47f269969affd7c3639af34f3 axiom Language.Fixpoint.Types.Constraints.Rep_GInfo:: GHC.Generics.Rep (Language.Fixpoint.Types.Constraints.GInfo c a) = GHC.Generics.D1 ('GHC.Generics.MetaData "GInfo" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "FI" 'GHC.Generics.PrefixI 'GHC.Types.True) (((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cm") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId (c a))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ws") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a))) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "bs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.BindEnv))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ebinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Environments.BindId]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gLits") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "dLits") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort))))) GHC.Generics.:*: ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "kuts") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Kuts) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "quals") '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 "bindInfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId a)))) GHC.Generics.:*: ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ddecls") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Sorts.DataDecl]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "hoInfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.HOInfo)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "asserts") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ae") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.AxiomEnv)))))) 631d20d0918c14b74d892903e40cbdc3 axiom Language.Fixpoint.Types.Constraints.Rep_GWInfo:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.GWInfo = GHC.Generics.D1 ('GHC.Generics.MetaData "GWInfo" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "GWInfo" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gsym") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gsort") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gexpr") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ginfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.GradInfo)))) 35e5222a97ffd1e6ee6c34a5f394f10e axiom Language.Fixpoint.Types.Constraints.Rep_HOInfo:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.HOInfo = GHC.Generics.D1 ('GHC.Generics.MetaData "HOInfo" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "HOI" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "hoBinds") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "hoQuals") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool))) 72e8e948b4d2861f1e29f60f1aa59a0c axiom Language.Fixpoint.Types.Constraints.Rep_Kuts:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.Kuts = GHC.Generics.D1 ('GHC.Generics.MetaData "Kuts" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "KS" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ksVars") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar)))) 9aae2bcc537b45559d03a4eee2bb72e5 axiom Language.Fixpoint.Types.Constraints.Rep_QualParam:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.QualParam = GHC.Generics.D1 ('GHC.Generics.MetaData "QualParam" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "QP" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qpSym") '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 "qpPat") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.QualPattern) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qpSort") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)))) df6d07f9885eb5e5b345a33c505d8e73 axiom Language.Fixpoint.Types.Constraints.Rep_QualPattern:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.QualPattern = GHC.Generics.D1 ('GHC.Generics.MetaData "QualPattern" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) ((GHC.Generics.C1 ('GHC.Generics.MetaCons "PatNone" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "PatPrefix" '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 GHC.Types.Int))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "PatSuffix" '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 GHC.Types.Int) 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 "PatExact" '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)))) 9aae2bcc537b45559d03a4eee2bb72e5 axiom Language.Fixpoint.Types.Constraints.Rep_Qualifier:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.Qualifier = GHC.Generics.D1 ('GHC.Generics.MetaData "Qualifier" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Q" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qName") '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 "qParams") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Constraints.QualParam])) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qBody") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "qPos") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Text.Parsec.Pos.SourcePos)))) 9b37020b88a84332f42c4a4efcccc0c2 axiom Language.Fixpoint.Types.Constraints.Rep_Result:: GHC.Generics.Rep (Language.Fixpoint.Types.Constraints.Result a) = GHC.Generics.D1 ('GHC.Generics.MetaData "Result" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Result" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "resStatus") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Errors.FixResult a)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "resSolution") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.FixSolution) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gresSolution") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.GFixSolution)))) 7df085a191521cbf745e28451770fe1d axiom Language.Fixpoint.Types.Constraints.Rep_Rewrite:: GHC.Generics.Rep Language.Fixpoint.Types.Constraints.Rewrite = GHC.Generics.D1 ('GHC.Generics.MetaData "Rewrite" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SMeasure" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "smName") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "smDC") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "smArgs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Names.Symbol]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "smBody") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr)))) 03dcffeea2a5199db7c9ff0154825bc0 axiom Language.Fixpoint.Types.Constraints.Rep_SimpC:: GHC.Generics.Rep (Language.Fixpoint.Types.Constraints.SimpC a) = GHC.Generics.D1 ('GHC.Generics.MetaData "SimpC" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SimpC" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_cenv") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.IBindEnv) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_crhs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_cid") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (GHC.Maybe.Maybe GHC.Integer.Type.Integer)))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cbind") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.BindId) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_ctag") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Tag) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_cinfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 a))))) 1844afeba4cbd3ee9cea173e868f8ce9 axiom Language.Fixpoint.Types.Constraints.Rep_SubC:: GHC.Generics.Rep (Language.Fixpoint.Types.Constraints.SubC a) = GHC.Generics.D1 ('GHC.Generics.MetaData "SubC" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SubC" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_senv") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.IBindEnv) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "slhs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.SortedReft) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "srhs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.SortedReft))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_sid") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (GHC.Maybe.Maybe Language.Fixpoint.Types.Constraints.SubcId)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_stag") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Constraints.Tag) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "_sinfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 a))))) ad7a627c031dc594c719d4e423bdd067 axiom Language.Fixpoint.Types.Constraints.Rep_WfC:: GHC.Generics.Rep (Language.Fixpoint.Types.Constraints.WfC a) = GHC.Generics.D1 ('GHC.Generics.MetaData "WfC" "Language.Fixpoint.Types.Constraints" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "WfC" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "wenv") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.IBindEnv) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "wrft") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "winfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 a))) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "GWfC" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "wenv") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Environments.IBindEnv) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "wrft") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Refinements.KVar))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "winfo") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 a) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "wexpr") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "wloc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.GradInfo))))) 9b37020b88a84332f42c4a4efcccc0c2 data Result a = Result {resStatus :: !(Language.Fixpoint.Types.Errors.FixResult a), resSolution :: !Language.Fixpoint.Types.Constraints.FixSolution, gresSolution :: !Language.Fixpoint.Types.Constraints.GFixSolution} 7df085a191521cbf745e28451770fe1d data Rewrite = SMeasure {smName :: Language.Fixpoint.Types.Names.Symbol, smDC :: Language.Fixpoint.Types.Names.Symbol, smArgs :: [Language.Fixpoint.Types.Names.Symbol], smBody :: Language.Fixpoint.Types.Refinements.Expr} 90ef96c47f269969affd7c3639af34f3 type SInfo a = Language.Fixpoint.Types.Constraints.GInfo Language.Fixpoint.Types.Constraints.SimpC a 03dcffeea2a5199db7c9ff0154825bc0 data SimpC a = SimpC {_cenv :: !Language.Fixpoint.Types.Environments.IBindEnv, _crhs :: !Language.Fixpoint.Types.Refinements.Expr, _cid :: !(GHC.Maybe.Maybe GHC.Integer.Type.Integer), cbind :: !Language.Fixpoint.Types.Environments.BindId, _ctag :: !Language.Fixpoint.Types.Constraints.Tag, _cinfo :: !a} 5f11195f89eea9e971cb52093960dc22 type Solver a = Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a)) 1844afeba4cbd3ee9cea173e868f8ce9 data SubC a = SubC {_senv :: !Language.Fixpoint.Types.Environments.IBindEnv, slhs :: !Language.Fixpoint.Types.Refinements.SortedReft, srhs :: !Language.Fixpoint.Types.Refinements.SortedReft, _sid :: !(GHC.Maybe.Maybe Language.Fixpoint.Types.Constraints.SubcId), _stag :: !Language.Fixpoint.Types.Constraints.Tag, _sinfo :: !a} 311c8f398e2d0f5e23e664bacb45f905 type SubcId = GHC.Integer.Type.Integer f16c6ce3b8b49003401603dfb3b1715f type Tag = [GHC.Types.Int] ec47f4df806fb3eb50e32a07ab4ee371 class TaggedC (c :: * -> *) a where senv :: c a -> Language.Fixpoint.Types.Environments.IBindEnv sid :: c a -> GHC.Maybe.Maybe GHC.Integer.Type.Integer stag :: c a -> Language.Fixpoint.Types.Constraints.Tag sinfo :: c a -> a clhs :: Language.Fixpoint.Types.Environments.BindEnv -> c a -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft)] crhs :: c a -> Language.Fixpoint.Types.Refinements.Expr {-# MINIMAL senv, sid, stag, sinfo, clhs, crhs #-} ad7a627c031dc594c719d4e423bdd067 data WfC a = WfC {wenv :: !Language.Fixpoint.Types.Environments.IBindEnv, wrft :: (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Refinements.KVar), winfo :: !a} | GWfC {wenv :: !Language.Fixpoint.Types.Environments.IBindEnv, wrft :: !(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Refinements.KVar), winfo :: !a, wexpr :: !Language.Fixpoint.Types.Refinements.Expr, wloc :: !Language.Fixpoint.Types.Refinements.GradInfo} 03dcffeea2a5199db7c9ff0154825bc0 _cenv :: Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Types.Constraints.SimpC 03dcffeea2a5199db7c9ff0154825bc0 _cid :: Language.Fixpoint.Types.Constraints.SimpC a -> GHC.Maybe.Maybe GHC.Integer.Type.Integer RecSel Left Language.Fixpoint.Types.Constraints.SimpC 03dcffeea2a5199db7c9ff0154825bc0 _cinfo :: Language.Fixpoint.Types.Constraints.SimpC a -> a RecSel Left Language.Fixpoint.Types.Constraints.SimpC 03dcffeea2a5199db7c9ff0154825bc0 _crhs :: Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Constraints.SimpC 03dcffeea2a5199db7c9ff0154825bc0 _ctag :: Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Types.Constraints.Tag RecSel Left Language.Fixpoint.Types.Constraints.SimpC 1844afeba4cbd3ee9cea173e868f8ce9 _senv :: Language.Fixpoint.Types.Constraints.SubC a -> Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Types.Constraints.SubC 1844afeba4cbd3ee9cea173e868f8ce9 _sid :: Language.Fixpoint.Types.Constraints.SubC a -> GHC.Maybe.Maybe Language.Fixpoint.Types.Constraints.SubcId RecSel Left Language.Fixpoint.Types.Constraints.SubC 1844afeba4cbd3ee9cea173e868f8ce9 _sinfo :: Language.Fixpoint.Types.Constraints.SubC a -> a RecSel Left Language.Fixpoint.Types.Constraints.SubC 1844afeba4cbd3ee9cea173e868f8ce9 _stag :: Language.Fixpoint.Types.Constraints.SubC a -> Language.Fixpoint.Types.Constraints.Tag RecSel Left Language.Fixpoint.Types.Constraints.SubC 62d05512a99170596b84c3003b251911 addIds :: [Language.Fixpoint.Types.Constraints.SubC a] -> [(GHC.Integer.Type.Integer, Language.Fixpoint.Types.Constraints.SubC a)] 90ef96c47f269969affd7c3639af34f3 ae :: Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Constraints.AxiomEnv RecSel Left Language.Fixpoint.Types.Constraints.GInfo 90ef96c47f269969affd7c3639af34f3 aenvEqs :: Language.Fixpoint.Types.Constraints.AxiomEnv -> [Language.Fixpoint.Types.Constraints.Equation] RecSel Left Language.Fixpoint.Types.Constraints.AxiomEnv 90ef96c47f269969affd7c3639af34f3 aenvExpand :: Language.Fixpoint.Types.Constraints.AxiomEnv -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Constraints.AxiomEnv 90ef96c47f269969affd7c3639af34f3 aenvSimpl :: Language.Fixpoint.Types.Constraints.AxiomEnv -> [Language.Fixpoint.Types.Constraints.Rewrite] RecSel Left Language.Fixpoint.Types.Constraints.AxiomEnv 20bbed3ef73b2cf2a9faa3daff6a73ff allowHO :: Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.Types.Bool 2d72f2746bc8b5decaea3d152b78ce26 allowHOquals :: Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.Types.Bool 90ef96c47f269969affd7c3639af34f3 asserts :: Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr] RecSel Left Language.Fixpoint.Types.Constraints.GInfo 90ef96c47f269969affd7c3639af34f3 bindInfo :: Language.Fixpoint.Types.Constraints.GInfo c a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId a RecSel Left Language.Fixpoint.Types.Constraints.GInfo 90ef96c47f269969affd7c3639af34f3 bs :: Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Environments.BindEnv RecSel Left Language.Fixpoint.Types.Constraints.GInfo 03dcffeea2a5199db7c9ff0154825bc0 cbind :: Language.Fixpoint.Types.Constraints.SimpC a -> Language.Fixpoint.Types.Environments.BindId RecSel Left Language.Fixpoint.Types.Constraints.SimpC 90ef96c47f269969affd7c3639af34f3 cm :: Language.Fixpoint.Types.Constraints.GInfo c a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId (c a) RecSel Left Language.Fixpoint.Types.Constraints.GInfo 17fb29836fb34a6bfc26bbf23b2473ba convertFormat :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Constraints.FInfo a -> Language.Fixpoint.Types.Constraints.SInfo a 90ef96c47f269969affd7c3639af34f3 dLits :: Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Constraints.GInfo 90ef96c47f269969affd7c3639af34f3 ddecls :: Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Types.Sorts.DataDecl] RecSel Left Language.Fixpoint.Types.Constraints.GInfo 90ef96c47f269969affd7c3639af34f3 ebinds :: Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Types.Environments.BindId] RecSel Left Language.Fixpoint.Types.Constraints.GInfo 1b8c537886bd491bbeaae4b7cdcd5c8f eqArgs :: Language.Fixpoint.Types.Constraints.Equation -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] RecSel Left Language.Fixpoint.Types.Constraints.Equation 1b8c537886bd491bbeaae4b7cdcd5c8f eqBody :: Language.Fixpoint.Types.Constraints.Equation -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Constraints.Equation 1b8c537886bd491bbeaae4b7cdcd5c8f eqName :: Language.Fixpoint.Types.Constraints.Equation -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Constraints.Equation 1b8c537886bd491bbeaae4b7cdcd5c8f eqRec :: Language.Fixpoint.Types.Constraints.Equation -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Constraints.Equation 1b8c537886bd491bbeaae4b7cdcd5c8f eqSort :: Language.Fixpoint.Types.Constraints.Equation -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Constraints.Equation 2401cbe179107126641e758f8df44fd5 fi :: [Language.Fixpoint.Types.Constraints.SubC a] -> [Language.Fixpoint.Types.Constraints.WfC a] -> Language.Fixpoint.Types.Environments.BindEnv -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Constraints.Kuts -> [Language.Fixpoint.Types.Constraints.Qualifier] -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId a -> GHC.Types.Bool -> GHC.Types.Bool -> [Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr] -> Language.Fixpoint.Types.Constraints.AxiomEnv -> [Language.Fixpoint.Types.Sorts.DataDecl] -> [Language.Fixpoint.Types.Environments.BindId] -> Language.Fixpoint.Types.Constraints.GInfo Language.Fixpoint.Types.Constraints.SubC a 803d2f995b056771c08edfce347cb407 fioFI :: Language.Fixpoint.Types.Constraints.FInfoWithOpts a -> Language.Fixpoint.Types.Constraints.FInfo a RecSel Left Language.Fixpoint.Types.Constraints.FInfoWithOpts 803d2f995b056771c08edfce347cb407 fioOpts :: Language.Fixpoint.Types.Constraints.FInfoWithOpts a -> [GHC.Base.String] RecSel Left Language.Fixpoint.Types.Constraints.FInfoWithOpts 90ef96c47f269969affd7c3639af34f3 gLits :: Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Constraints.GInfo 631d20d0918c14b74d892903e40cbdc3 gexpr :: Language.Fixpoint.Types.Constraints.GWInfo -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Constraints.GWInfo 631d20d0918c14b74d892903e40cbdc3 ginfo :: Language.Fixpoint.Types.Constraints.GWInfo -> Language.Fixpoint.Types.Refinements.GradInfo RecSel Left Language.Fixpoint.Types.Constraints.GWInfo 9b37020b88a84332f42c4a4efcccc0c2 gresSolution :: Language.Fixpoint.Types.Constraints.Result a -> Language.Fixpoint.Types.Constraints.GFixSolution RecSel Left Language.Fixpoint.Types.Constraints.Result 631d20d0918c14b74d892903e40cbdc3 gsort :: Language.Fixpoint.Types.Constraints.GWInfo -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Constraints.GWInfo 631d20d0918c14b74d892903e40cbdc3 gsym :: Language.Fixpoint.Types.Constraints.GWInfo -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Constraints.GWInfo cd5a5785696346008a88134a28c438d0 gwInfo :: Language.Fixpoint.Types.Constraints.WfC a -> Language.Fixpoint.Types.Constraints.GWInfo 35e5222a97ffd1e6ee6c34a5f394f10e hoBinds :: Language.Fixpoint.Types.Constraints.HOInfo -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Constraints.HOInfo 90ef96c47f269969affd7c3639af34f3 hoInfo :: Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Constraints.HOInfo RecSel Left Language.Fixpoint.Types.Constraints.GInfo 35e5222a97ffd1e6ee6c34a5f394f10e hoQuals :: Language.Fixpoint.Types.Constraints.HOInfo -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Constraints.HOInfo 4c70cb60ff73f441d356b3d67861f82f isGWfc :: Language.Fixpoint.Types.Constraints.WfC a -> GHC.Types.Bool ccdd8b8057f79a12e91c390f27a8ab7c isSafe :: Language.Fixpoint.Types.Constraints.Result a -> GHC.Types.Bool ff11f843cd1e00bb3a3dac8399ffa7a0 isUnsafe :: Language.Fixpoint.Types.Constraints.Result a -> GHC.Types.Bool 202c76f7c51615b606e4a1028b152172 ksMember :: Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Constraints.Kuts -> GHC.Types.Bool 72e8e948b4d2861f1e29f60f1aa59a0c ksVars :: Language.Fixpoint.Types.Constraints.Kuts -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Types.Constraints.Kuts 90ef96c47f269969affd7c3639af34f3 kuts :: Language.Fixpoint.Types.Constraints.GInfo c a -> Language.Fixpoint.Types.Constraints.Kuts RecSel Left Language.Fixpoint.Types.Constraints.GInfo f843a9ff66a208bb19d63b610e733ce1 mkEquation :: Language.Fixpoint.Types.Names.Symbol -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Constraints.Equation efbd7d0eadf5b297611bd0cc8257edde mkQ :: Language.Fixpoint.Types.Names.Symbol -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] -> Language.Fixpoint.Types.Refinements.Expr -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Constraints.Qualifier 76509e579d10d7c92e5c9239d180adff mkQual :: Language.Fixpoint.Types.Names.Symbol -> [Language.Fixpoint.Types.Constraints.QualParam] -> Language.Fixpoint.Types.Refinements.Expr -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Constraints.Qualifier 0bcd3df5f343e78bbd601b9e4b14cce4 mkSubC :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Refinements.SortedReft -> Language.Fixpoint.Types.Refinements.SortedReft -> GHC.Maybe.Maybe GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Constraints.Tag -> a -> Language.Fixpoint.Types.Constraints.SubC a 9aae2bcc537b45559d03a4eee2bb72e5 qBody :: Language.Fixpoint.Types.Constraints.Qualifier -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Constraints.Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 qName :: Language.Fixpoint.Types.Constraints.Qualifier -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Constraints.Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 qParams :: Language.Fixpoint.Types.Constraints.Qualifier -> [Language.Fixpoint.Types.Constraints.QualParam] RecSel Left Language.Fixpoint.Types.Constraints.Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 qPos :: Language.Fixpoint.Types.Constraints.Qualifier -> Text.Parsec.Pos.SourcePos RecSel Left Language.Fixpoint.Types.Constraints.Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 qpPat :: Language.Fixpoint.Types.Constraints.QualParam -> Language.Fixpoint.Types.Constraints.QualPattern RecSel Left Language.Fixpoint.Types.Constraints.QualParam 9aae2bcc537b45559d03a4eee2bb72e5 qpSort :: Language.Fixpoint.Types.Constraints.QualParam -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Constraints.QualParam 9aae2bcc537b45559d03a4eee2bb72e5 qpSym :: Language.Fixpoint.Types.Constraints.QualParam -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Constraints.QualParam dd19e45e9d3c580c4087b253575a5a4a qualBinds :: Language.Fixpoint.Types.Constraints.Qualifier -> [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] 70f0d4635f8d06c05930ada227ca9157 qualifier :: Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort -> Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Constraints.Qualifier 90ef96c47f269969affd7c3639af34f3 quals :: Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Types.Constraints.Qualifier] RecSel Left Language.Fixpoint.Types.Constraints.GInfo 0a2689fea078c5e91430e58870107f9d remakeQual :: Language.Fixpoint.Types.Constraints.Qualifier -> Language.Fixpoint.Types.Constraints.Qualifier 9b37020b88a84332f42c4a4efcccc0c2 resSolution :: Language.Fixpoint.Types.Constraints.Result a -> Language.Fixpoint.Types.Constraints.FixSolution RecSel Left Language.Fixpoint.Types.Constraints.Result 9b37020b88a84332f42c4a4efcccc0c2 resStatus :: Language.Fixpoint.Types.Constraints.Result a -> Language.Fixpoint.Types.Errors.FixResult a RecSel Left Language.Fixpoint.Types.Constraints.Result 8708f195573f805e8e51c784cd77feb0 safe :: Language.Fixpoint.Types.Constraints.Result a 547dfa1885614d5beeb6bfd5ba6a1b3c saveQuery :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Types.IO () a2bd6e47a864c35c7bece612a62b906d shiftVV :: Language.Fixpoint.Types.Refinements.Reft -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Refinements.Reft 1844afeba4cbd3ee9cea173e868f8ce9 slhs :: Language.Fixpoint.Types.Constraints.SubC a -> Language.Fixpoint.Types.Refinements.SortedReft RecSel Left Language.Fixpoint.Types.Constraints.SubC 7df085a191521cbf745e28451770fe1d smArgs :: Language.Fixpoint.Types.Constraints.Rewrite -> [Language.Fixpoint.Types.Names.Symbol] RecSel Left Language.Fixpoint.Types.Constraints.Rewrite 7df085a191521cbf745e28451770fe1d smBody :: Language.Fixpoint.Types.Constraints.Rewrite -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Constraints.Rewrite 7df085a191521cbf745e28451770fe1d smDC :: Language.Fixpoint.Types.Constraints.Rewrite -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Constraints.Rewrite 7df085a191521cbf745e28451770fe1d smName :: Language.Fixpoint.Types.Constraints.Rewrite -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Constraints.Rewrite 633dc1da46eaa5826ede6f6f659f13e1 sortVars :: Language.Fixpoint.Types.Sorts.Sort -> [Language.Fixpoint.Types.Names.Symbol] 1844afeba4cbd3ee9cea173e868f8ce9 srhs :: Language.Fixpoint.Types.Constraints.SubC a -> Language.Fixpoint.Types.Refinements.SortedReft RecSel Left Language.Fixpoint.Types.Constraints.SubC 7d88841d1096029087978ca79f8f8ef6 strengthenBinds :: Language.Fixpoint.Types.Constraints.SInfo a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Environments.BindId Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Constraints.SInfo a 0d5d03ecb6ae6fe41d380cdc64c926c9 strengthenHyp :: Language.Fixpoint.Types.Constraints.SInfo a -> [(GHC.Integer.Type.Integer, Language.Fixpoint.Types.Refinements.Expr)] -> Language.Fixpoint.Types.Constraints.SInfo a cec25e5a5c6c9453c38e61bb34dd080a subC :: Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Refinements.SortedReft -> Language.Fixpoint.Types.Refinements.SortedReft -> GHC.Maybe.Maybe GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Constraints.Tag -> a -> [Language.Fixpoint.Types.Constraints.SubC a] c5ad3aad4a42726885659f4c083c4240 subcId :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> Language.Fixpoint.Types.Constraints.SubcId 850256093ef1622ae6393d93f89f454f substVars :: [(Language.Fixpoint.Types.Names.Symbol, GHC.Types.Int)] -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort 45b39b5a071a079c10972832dc83941b toFixpoint :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint (c a)) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> Text.PrettyPrint.HughesPJ.Doc 976000ad57b990ff51f0a4597ed94f4a toGFixSol :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (e, [e]) -> Language.Fixpoint.Types.Constraints.GFixSol e c00d3264555ff3492a3a00cdc2648ad4 trueQual :: Language.Fixpoint.Types.Constraints.Qualifier f55e24a597d67533b5c703fddb5b7df0 unsafe :: Language.Fixpoint.Types.Constraints.Result a 2b19bcee88d4e71467659782fa496dd2 updateWfCExpr :: (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr) -> Language.Fixpoint.Types.Constraints.WfC a -> Language.Fixpoint.Types.Constraints.WfC a ad7a627c031dc594c719d4e423bdd067 wenv :: Language.Fixpoint.Types.Constraints.WfC a -> Language.Fixpoint.Types.Environments.IBindEnv RecSel Left Language.Fixpoint.Types.Constraints.WfC ad7a627c031dc594c719d4e423bdd067 wexpr :: Language.Fixpoint.Types.Constraints.WfC a -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Constraints.WfC a9cd82721163b0b120fb316155322fb0 wfC :: Language.Fixpoint.Types.PrettyPrint.Fixpoint a => Language.Fixpoint.Types.Environments.IBindEnv -> Language.Fixpoint.Types.Refinements.SortedReft -> a -> [Language.Fixpoint.Types.Constraints.WfC a] ad7a627c031dc594c719d4e423bdd067 winfo :: Language.Fixpoint.Types.Constraints.WfC a -> a RecSel Left Language.Fixpoint.Types.Constraints.WfC ad7a627c031dc594c719d4e423bdd067 wloc :: Language.Fixpoint.Types.Constraints.WfC a -> Language.Fixpoint.Types.Refinements.GradInfo RecSel Left Language.Fixpoint.Types.Constraints.WfC ad7a627c031dc594c719d4e423bdd067 wrft :: Language.Fixpoint.Types.Constraints.WfC a -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort, Language.Fixpoint.Types.Refinements.KVar) RecSel Left Language.Fixpoint.Types.Constraints.WfC ebc5583e57453ee643889abce46ece2a writeFInfo :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint (c a)) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.IO.FilePath -> GHC.Types.IO () 90ef96c47f269969affd7c3639af34f3 ws :: Language.Fixpoint.Types.Constraints.GInfo c a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a) RecSel Left Language.Fixpoint.Types.Constraints.GInfo instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fBinaryAxiomEnv instance [orphan] Data.Binary.Class.Binary [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Constraints.$fBinaryEliminate instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fBinaryEquation instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fBinaryGFixSol instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fBinaryGInfo instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.GWInfo] = Language.Fixpoint.Types.Constraints.$fBinaryGWInfo instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fBinaryHOInfo instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fBinaryKuts instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fBinaryQualParam instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fBinaryQualPattern instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fBinaryQualifier instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fBinaryRewrite instance [orphan] Data.Binary.Class.Binary [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Constraints.$fBinarySMTSolver instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fBinarySimpC instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fBinarySubC instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fBinaryWfC instance Data.Data.Data [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fDataQualParam instance Data.Data.Data [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fDataQualPattern instance Data.Data.Data [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fDataQualifier instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fEqAxiomEnv instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fEqEquation instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fEqGInfo instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.GWInfo] = Language.Fixpoint.Types.Constraints.$fEqGWInfo instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fEqHOInfo instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fEqKuts instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fEqQualParam instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fEqQualPattern instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fEqQualifier instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fEqRewrite instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fEqSubC instance GHC.Classes.Eq [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fEqWfC instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fFixpointAxiomEnv instance [orphan] Language.Fixpoint.Types.PrettyPrint.Fixpoint [Text.PrettyPrint.HughesPJ.Doc] = Language.Fixpoint.Types.Constraints.$fFixpointDoc instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fFixpointEquation instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Errors.FixResult] = Language.Fixpoint.Types.Constraints.$fFixpointFixResult instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fFixpointKuts instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fFixpointQualParam instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fFixpointQualifier instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fFixpointRewrite instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fFixpointSimpC instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fFixpointSubC instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fFixpointWfC instance GHC.Base.Functor [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fFunctorGFixSol instance GHC.Base.Functor [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fFunctorGInfo instance GHC.Base.Functor [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.$fFunctorResult instance GHC.Base.Functor [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fFunctorSimpC instance GHC.Base.Functor [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fFunctorSubC instance GHC.Base.Functor [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fFunctorWfC instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fGenericAxiomEnv instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fGenericEquation instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fGenericGFixSol instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fGenericGInfo instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.GWInfo] = Language.Fixpoint.Types.Constraints.$fGenericGWInfo instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fGenericHOInfo instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fGenericKuts instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fGenericQualParam instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fGenericQualPattern instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fGenericQualifier instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.$fGenericResult instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fGenericRewrite instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fGenericSimpC instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fGenericSubC instance GHC.Generics.Generic [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fGenericWfC instance Language.Fixpoint.Types.Refinements.HasGradual [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fHasGradualGInfo instance Language.Fixpoint.Types.Refinements.HasGradual [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fHasGradualWfC instance Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fLocQualifier instance Language.Fixpoint.Types.Spans.Loc [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fLocSimpC instance GHC.Base.Monoid [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fMonoidAxiomEnv instance GHC.Base.Monoid [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fMonoidGFixSol instance GHC.Base.Monoid [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fMonoidGInfo instance GHC.Base.Monoid [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fMonoidHOInfo instance GHC.Base.Monoid [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fMonoidKuts instance GHC.Base.Monoid [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.$fMonoidResult instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fNFDataAxiomEnv instance [orphan] Control.DeepSeq.NFData [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Constraints.$fNFDataEliminate instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fNFDataEquation instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fNFDataGFixSol instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fNFDataGInfo instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.GWInfo] = Language.Fixpoint.Types.Constraints.$fNFDataGWInfo instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fNFDataHOInfo instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fNFDataKuts instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fNFDataQualParam instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fNFDataQualPattern instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fNFDataQualifier instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.$fNFDataResult instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fNFDataRewrite instance [orphan] Control.DeepSeq.NFData [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Constraints.$fNFDataSMTSolver instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fNFDataSimpC instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fNFDataSubC instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fNFDataWfC instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fPPrintAxiomEnv instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fPPrintEquation instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fPPrintGFixSol instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fPPrintQualParam instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fPPrintQualPattern instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fPPrintQualifier instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fPPrintRewrite instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fPPrintSimpC instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fPPrintSubC instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fPPrintWfC instance Language.Fixpoint.Types.PrettyPrint.PTable [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fPTableGInfo instance GHC.Base.Semigroup [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fSemigroupAxiomEnv instance GHC.Base.Semigroup [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fSemigroupGFixSol instance GHC.Base.Semigroup [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fSemigroupGInfo instance GHC.Base.Semigroup [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fSemigroupHOInfo instance GHC.Base.Semigroup [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fSemigroupKuts instance GHC.Base.Semigroup [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.$fSemigroupResult instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.$fShowAxiomEnv instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fShowEquation instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.$fShowGFixSol instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.$fShowGInfo instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.$fShowHOInfo instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.$fShowKuts instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.$fShowQualParam instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.$fShowQualPattern instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fShowQualifier instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.$fShowResult instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.$fShowRewrite instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.$fShowSimpC instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.$fShowSubC instance GHC.Show.Show [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.$fShowWfC instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.$fSubableEquation instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.$fSubableQualifier instance Language.Fixpoint.Types.Constraints.TaggedC [Language.Fixpoint.Types.Constraints.SimpC, .] = Language.Fixpoint.Types.Constraints.$fTaggedCSimpCa instance Language.Fixpoint.Types.Constraints.TaggedC [Language.Fixpoint.Types.Constraints.SubC, .] = Language.Fixpoint.Types.Constraints.$fTaggedCSubCa family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Constraints.Rep_GInfo family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.AxiomEnv] = Language.Fixpoint.Types.Constraints.Rep_AxiomEnv family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.Rewrite] = Language.Fixpoint.Types.Constraints.Rep_Rewrite family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Constraints.Rep_Equation family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.HOInfo] = Language.Fixpoint.Types.Constraints.Rep_HOInfo family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.Kuts] = Language.Fixpoint.Types.Constraints.Rep_Kuts family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.Qualifier] = Language.Fixpoint.Types.Constraints.Rep_Qualifier family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.QualParam] = Language.Fixpoint.Types.Constraints.Rep_QualParam family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.QualPattern] = Language.Fixpoint.Types.Constraints.Rep_QualPattern family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.Result] = Language.Fixpoint.Types.Constraints.Rep_Result family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.GFixSol] = Language.Fixpoint.Types.Constraints.Rep_GFixSol family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Constraints.Rep_SimpC family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Constraints.Rep_SubC family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.GWInfo] = Language.Fixpoint.Types.Constraints.Rep_GWInfo family instance GHC.Generics.Rep [Language.Fixpoint.Types.Constraints.WfC] = Language.Fixpoint.Types.Constraints.Rep_WfC trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: