==================== FINAL INTERFACE ==================== 2019-09-22 14:52:29.457737 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements [orphan module] [family instance module] 8065 interface hash: c3a952a9840c922b462a2941f6852dc1 ABI hash: e312fbfecbcc511c18b2a4b463f3a6dc export-list hash: c373b88351492ec6aa75dffded20541a orphan hash: 45c7f7e113b49c0e3395025ea67b0861 flag hash: 90ecde8fa6eb6f9978f4cab34bbcf0b6 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Refinements.&.& Language.Fixpoint.Types.Refinements.EBot Language.Fixpoint.Types.Refinements.EDiv Language.Fixpoint.Types.Refinements.EEq Language.Fixpoint.Types.Refinements.ERDiv Language.Fixpoint.Types.Refinements.ERTimes Language.Fixpoint.Types.Refinements.ETimes Language.Fixpoint.Types.Refinements.PFalse Language.Fixpoint.Types.Refinements.PTop Language.Fixpoint.Types.Refinements.PTrue Language.Fixpoint.Types.Refinements.conjuncts Language.Fixpoint.Types.Refinements.debruijnIndex Language.Fixpoint.Types.Refinements.eAppC Language.Fixpoint.Types.Refinements.eApps Language.Fixpoint.Types.Refinements.eProp Language.Fixpoint.Types.Refinements.eVar Language.Fixpoint.Types.Refinements.elit Language.Fixpoint.Types.Refinements.exprReft Language.Fixpoint.Types.Refinements.falseReft Language.Fixpoint.Types.Refinements.flattenRefas Language.Fixpoint.Types.Refinements.intKvar Language.Fixpoint.Types.Refinements.isContraPred Language.Fixpoint.Types.Refinements.isFunctionSortedReft Language.Fixpoint.Types.Refinements.isNonTrivial Language.Fixpoint.Types.Refinements.isSingletonExpr Language.Fixpoint.Types.Refinements.isSingletonReft Language.Fixpoint.Types.Refinements.isTautoPred Language.Fixpoint.Types.Refinements.mapPredReft Language.Fixpoint.Types.Refinements.mkEApp Language.Fixpoint.Types.Refinements.mkProp Language.Fixpoint.Types.Refinements.notExprReft Language.Fixpoint.Types.Refinements.pAnd Language.Fixpoint.Types.Refinements.pExist Language.Fixpoint.Types.Refinements.pGAnd Language.Fixpoint.Types.Refinements.pGAnds Language.Fixpoint.Types.Refinements.pIte Language.Fixpoint.Types.Refinements.pOr Language.Fixpoint.Types.Refinements.pprintReft Language.Fixpoint.Types.Refinements.predReft Language.Fixpoint.Types.Refinements.propReft Language.Fixpoint.Types.Refinements.reft Language.Fixpoint.Types.Refinements.reftBind Language.Fixpoint.Types.Refinements.reftConjuncts Language.Fixpoint.Types.Refinements.reftPred Language.Fixpoint.Types.Refinements.splitEApp Language.Fixpoint.Types.Refinements.splitPAnd Language.Fixpoint.Types.Refinements.srcGradInfo Language.Fixpoint.Types.Refinements.symbolReft Language.Fixpoint.Types.Refinements.trueReft Language.Fixpoint.Types.Refinements.trueSortedReft Language.Fixpoint.Types.Refinements.uexprReft Language.Fixpoint.Types.Refinements.usymbolReft Language.Fixpoint.Types.Refinements.vv_ Language.Fixpoint.Types.Refinements.|.| Language.Fixpoint.Types.Sorts.functionSort Language.Fixpoint.Types.Refinements.Bop{Language.Fixpoint.Types.Refinements.Div Language.Fixpoint.Types.Refinements.Minus Language.Fixpoint.Types.Refinements.Mod Language.Fixpoint.Types.Refinements.Plus Language.Fixpoint.Types.Refinements.RDiv Language.Fixpoint.Types.Refinements.RTimes Language.Fixpoint.Types.Refinements.Times} Language.Fixpoint.Types.Refinements.Brel{Language.Fixpoint.Types.Refinements.Eq Language.Fixpoint.Types.Refinements.Ge Language.Fixpoint.Types.Refinements.Gt Language.Fixpoint.Types.Refinements.Le Language.Fixpoint.Types.Refinements.Lt Language.Fixpoint.Types.Refinements.Ne Language.Fixpoint.Types.Refinements.Ueq Language.Fixpoint.Types.Refinements.Une} Language.Fixpoint.Types.Refinements.Constant{Language.Fixpoint.Types.Refinements.I Language.Fixpoint.Types.Refinements.L Language.Fixpoint.Types.Refinements.R} Language.Fixpoint.Types.Refinements.Expr{Language.Fixpoint.Types.Refinements.EApp Language.Fixpoint.Types.Refinements.EBin Language.Fixpoint.Types.Refinements.ECoerc Language.Fixpoint.Types.Refinements.ECon Language.Fixpoint.Types.Refinements.ECst Language.Fixpoint.Types.Refinements.EIte Language.Fixpoint.Types.Refinements.ELam Language.Fixpoint.Types.Refinements.ENeg Language.Fixpoint.Types.Refinements.ESym Language.Fixpoint.Types.Refinements.ETAbs Language.Fixpoint.Types.Refinements.ETApp Language.Fixpoint.Types.Refinements.EVar Language.Fixpoint.Types.Refinements.PAll Language.Fixpoint.Types.Refinements.PAnd Language.Fixpoint.Types.Refinements.PAtom Language.Fixpoint.Types.Refinements.PExist Language.Fixpoint.Types.Refinements.PGrad Language.Fixpoint.Types.Refinements.PIff Language.Fixpoint.Types.Refinements.PImp Language.Fixpoint.Types.Refinements.PKVar Language.Fixpoint.Types.Refinements.PNot Language.Fixpoint.Types.Refinements.POr} Language.Fixpoint.Types.Refinements.Expression{Language.Fixpoint.Types.Refinements.expr} Language.Fixpoint.Types.Refinements.Falseable|{Language.Fixpoint.Types.Refinements.isFalse} Language.Fixpoint.Types.Refinements.GradInfo{Language.Fixpoint.Types.Refinements.GradInfo gsrc gused} Language.Fixpoint.Types.Refinements.HasGradual{Language.Fixpoint.Types.Refinements.gVars Language.Fixpoint.Types.Refinements.isGradual Language.Fixpoint.Types.Refinements.ungrad} Language.Fixpoint.Types.Refinements.KVSub{Language.Fixpoint.Types.Refinements.KVS ksuKVar ksuSort ksuSubst ksuVV} Language.Fixpoint.Types.Refinements.KVar{Language.Fixpoint.Types.Refinements.KV kv} Language.Fixpoint.Types.Refinements.Pred Language.Fixpoint.Types.Refinements.Predicate{Language.Fixpoint.Types.Refinements.prop} Language.Fixpoint.Types.Refinements.Reft{Language.Fixpoint.Types.Refinements.Reft} Language.Fixpoint.Types.Refinements.Reftable{Language.Fixpoint.Types.Refinements.bot Language.Fixpoint.Types.Refinements.isTauto Language.Fixpoint.Types.Refinements.meet Language.Fixpoint.Types.Refinements.ofReft Language.Fixpoint.Types.Refinements.params Language.Fixpoint.Types.Refinements.ppTy Language.Fixpoint.Types.Refinements.toReft Language.Fixpoint.Types.Refinements.top} Language.Fixpoint.Types.Refinements.SortedReft{Language.Fixpoint.Types.Refinements.RR sr_reft sr_sort} Language.Fixpoint.Types.Refinements.Subable{Language.Fixpoint.Types.Refinements.subst Language.Fixpoint.Types.Refinements.subst1 Language.Fixpoint.Types.Refinements.substa Language.Fixpoint.Types.Refinements.substf Language.Fixpoint.Types.Refinements.syms} Language.Fixpoint.Types.Refinements.Subst{Language.Fixpoint.Types.Refinements.Su} Language.Fixpoint.Types.Refinements.SymConst{Language.Fixpoint.Types.Refinements.SL} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans 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 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: 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.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Data.Data 2949b01dc3799f9122535900668dfcef import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.String fa00d4c51cd8d22ee4f54a25f9e9c97d 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.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 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 -/ 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 -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e ListNE 34c095e41b29e7147eb4001d73367295 firstMaybe a87a0a57f92daf4b7959a9880ed114c3 hashMapToAscList 9dc450088704c65ccbcd800833302942 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 LocSymbol e6d5fcd49dd2746d9598e2efb4f857d1 Symbol 3f986d27cdf6315dd770c516fc00a643 Symbolic 2eef5be3f02dd72d878415fe4e78ea18 intSymbol a4ae136aedf5d0fada743997e9c6751f litSymbol 27eaaac0b7b302e0b72df3eaa74bc9b5 symbol 8093c1d4f5a85b247a3a96c3fce3245c symbolText eec089aa19dd5c0554fdac0c2f873812 vv cb8457010f51db330c497f8b29772025 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a Tidy 222d036ecc7fd8f220064937c0399cf9 pprint 955dc9d031db587300edf6146ac33be4 pprintPrec b295810b8feece8a8ed0eedbebc0051f pprintTidy bf75bee99d55ab15929b450195e64f3c showFix 3e850f4dba10210e482ff12d7ed17f7e simplify b57096eaf3d719a77fc26b0275953db4 toFix 9b9c41ae3aa868a1e0f4e73cde8032e0 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 exports: b866d80011faf2d8f77449fdc11dc733 Sort 30d6fd7d99459ff88296e3b55c87b46c TCEmb 30d6fd7d99459ff88296e3b55c87b46c functionSort f594877f5448823b341deb917c8c3252 tceToList 94dabd1e812c8f02e6ee6f26485a43a6 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 exports: 9e9118ba5257e743a1e1c46db3e4cd33 Loc 0a266231e9bb3b9aa09383fd7f3e48ff Located 98c2e3118bdcfbfec2dfd5f953f55cfd SS afc18641865e1d45f99679b3f3b93be2 SrcSpan 30cdf4122b891cc575df90039bdcbecb val 98c2e3118bdcfbfec2dfd5f953f55cfd 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 -/ text-1.2.3.1:Data.Text 681b9c3df5b4e4b4e23ef5f840f0b692 import -/ text-1.2.3.1:Data.Text.Internal 537e168590e8068f673f691833f78483 import -/ text-1.2.3.1:Data.Text.Show b788b7edd0f190b1a7c4f4aba0e35f18 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b c2b618479ead2c2f679df59a9e4dd43c $bEBot :: Language.Fixpoint.Types.Refinements.Expr 7839409d0b17df385ad27614fff1e652 $bEDiv :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 77aaff7fddb7ff348e62ce1343fa9206 $bEEq :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr f8bd416bee48fc091a1c5608bf481428 $bERDiv :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 949db7231237aec40f035c3bbf450644 $bERTimes :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr e54709fd4b508f7b07967ffc2e220b2a $bETimes :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 29ad48489b35feb271e37147af30bcfd $bPFalse :: Language.Fixpoint.Types.Refinements.Expr 5af03863fac4a380d11fd1f07b0b8146 $bPTop :: Language.Fixpoint.Types.Refinements.Expr 5d3a41142310325ee5d2b9ee33372bfc $bPTrue :: Language.Fixpoint.Types.Refinements.Expr 084d0b817b4e7c51b90fee6560e33ff3 $dmgVars :: Language.Fixpoint.Types.Refinements.HasGradual a => a -> [Language.Fixpoint.Types.Refinements.KVar] 738eabb2ee802fda7927d4314d5a74cc $dmmeet :: Language.Fixpoint.Types.Refinements.Reftable r => r -> r -> r 60165a51c7f24051113a59802b59cd27 $dmsubst1 :: Language.Fixpoint.Types.Refinements.Subable a => a -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.Expr) -> a 738eabb2ee802fda7927d4314d5a74cc $dmtop :: Language.Fixpoint.Types.Refinements.Reftable r => r -> r 084d0b817b4e7c51b90fee6560e33ff3 $dmungrad :: Language.Fixpoint.Types.Refinements.HasGradual a => a -> a 58dd7eff6040aa97f060415235c6cb01 $fBinaryBop :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fBinaryBrel :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fBinaryConstant :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fBinaryExpr :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fBinaryGradInfo :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.GradInfo DFunId e73f996102046c470805b8c0edc74d65 $fBinaryHashMap :: (Data.Hashable.Class.Hashable k, GHC.Classes.Eq k, Data.Binary.Class.Binary k, Data.Binary.Class.Binary v) => Data.Binary.Class.Binary (Data.HashMap.Base.HashMap k v) DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fBinaryKVar :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fBinaryReft :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.Reft DFunId 58dd7eff6040aa97f060415235c6cb01 $fBinarySortedReft :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.SortedReft DFunId 238c3a3779232730c51a0a5ec9b21fd7 $fBinarySrcSpan :: Data.Binary.Class.Binary Language.Fixpoint.Types.Spans.SrcSpan DFunId 58dd7eff6040aa97f060415235c6cb01 $fBinarySubst :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fBinarySymConst :: Data.Binary.Class.Binary Language.Fixpoint.Types.Refinements.SymConst DFunId 661b1e3e06827522055b78125cf47491 $fBinaryTCEmb :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a, Data.Binary.Class.Binary a) => Data.Binary.Class.Binary (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId 58dd7eff6040aa97f060415235c6cb01 $fDataBop :: Data.Data.Data Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fDataBrel :: Data.Data.Data Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fDataConstant :: Data.Data.Data Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fDataExpr :: Data.Data.Data Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fDataGradInfo :: Data.Data.Data Language.Fixpoint.Types.Refinements.GradInfo DFunId d1b959feb3e6e165694f06ccc1e60f00 $fDataKVSub :: Data.Data.Data Language.Fixpoint.Types.Refinements.KVSub DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fDataKVar :: Data.Data.Data Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fDataReft :: Data.Data.Data Language.Fixpoint.Types.Refinements.Reft DFunId 58dd7eff6040aa97f060415235c6cb01 $fDataSortedReft :: Data.Data.Data Language.Fixpoint.Types.Refinements.SortedReft DFunId 58dd7eff6040aa97f060415235c6cb01 $fDataSubst :: Data.Data.Data Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fDataSymConst :: Data.Data.Data Language.Fixpoint.Types.Refinements.SymConst DFunId 58dd7eff6040aa97f060415235c6cb01 $fEqBop :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fEqBrel :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fEqConstant :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fEqExpr :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fEqGradInfo :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.GradInfo DFunId d1b959feb3e6e165694f06ccc1e60f00 $fEqKVSub :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.KVSub DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fEqKVar :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fEqReft :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.Reft DFunId 58dd7eff6040aa97f060415235c6cb01 $fEqSortedReft :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.SortedReft DFunId 58dd7eff6040aa97f060415235c6cb01 $fEqSubst :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fEqSymConst :: GHC.Classes.Eq Language.Fixpoint.Types.Refinements.SymConst DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionExpr :: Language.Fixpoint.Types.Refinements.Expression Language.Fixpoint.Types.Refinements.Expr DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionInt :: Language.Fixpoint.Types.Refinements.Expression GHC.Types.Int DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionInteger :: Language.Fixpoint.Types.Refinements.Expression GHC.Integer.Type.Integer DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionLocated :: Language.Fixpoint.Types.Refinements.Expression a => Language.Fixpoint.Types.Refinements.Expression (Language.Fixpoint.Types.Spans.Located a) DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionReft :: Language.Fixpoint.Types.Refinements.Expression Language.Fixpoint.Types.Refinements.Reft DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionSortedReft :: Language.Fixpoint.Types.Refinements.Expression Language.Fixpoint.Types.Refinements.SortedReft DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionSymbol :: Language.Fixpoint.Types.Refinements.Expression Language.Fixpoint.Types.Names.Symbol DFunId 3223e45a95282010f7c8c44ba75b8d79 $fExpressionText :: Language.Fixpoint.Types.Refinements.Expression Data.Text.Internal.Text DFunId 923f91dd7301bd73734d8265d79f2de6 $fFalseableExpr :: Language.Fixpoint.Types.Refinements.Falseable Language.Fixpoint.Types.Refinements.Expr DFunId 923f91dd7301bd73734d8265d79f2de6 $fFalseableReft :: Language.Fixpoint.Types.Refinements.Falseable Language.Fixpoint.Types.Refinements.Reft DFunId 58dd7eff6040aa97f060415235c6cb01 $fFixpointBop :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fFixpointBrel :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fFixpointConstant :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fFixpointExpr :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.Expr DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fFixpointKVar :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fFixpointSubst :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fFixpointSymConst :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Refinements.SymConst DFunId 58dd7eff6040aa97f060415235c6cb01 $fGenericBop :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fGenericBrel :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fGenericConstant :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fGenericExpr :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fGenericGradInfo :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.GradInfo DFunId d1b959feb3e6e165694f06ccc1e60f00 $fGenericKVSub :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.KVSub DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fGenericKVar :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fGenericReft :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.Reft DFunId 58dd7eff6040aa97f060415235c6cb01 $fGenericSortedReft :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.SortedReft DFunId 58dd7eff6040aa97f060415235c6cb01 $fGenericSubst :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fGenericSymConst :: GHC.Generics.Generic Language.Fixpoint.Types.Refinements.SymConst DFunId 084d0b817b4e7c51b90fee6560e33ff3 $fHasGradualExpr :: Language.Fixpoint.Types.Refinements.HasGradual Language.Fixpoint.Types.Refinements.Expr DFunId 084d0b817b4e7c51b90fee6560e33ff3 $fHasGradualReft :: Language.Fixpoint.Types.Refinements.HasGradual Language.Fixpoint.Types.Refinements.Reft DFunId 084d0b817b4e7c51b90fee6560e33ff3 $fHasGradualSortedReft :: Language.Fixpoint.Types.Refinements.HasGradual Language.Fixpoint.Types.Refinements.SortedReft DFunId 58dd7eff6040aa97f060415235c6cb01 $fHashableBop :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fHashableBrel :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fHashableConstant :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fHashableExpr :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fHashableGradInfo :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.GradInfo DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fHashableKVar :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fHashableSubst :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fHashableSymConst :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Refinements.SymConst DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fIsStringKVar :: Data.String.IsString Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fNFDataBop :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fNFDataBrel :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fNFDataConstant :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fNFDataExpr :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fNFDataGradInfo :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.GradInfo DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fNFDataKVar :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fNFDataReft :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.Reft DFunId 58dd7eff6040aa97f060415235c6cb01 $fNFDataSortedReft :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.SortedReft DFunId c0a16bef81316846cb6fb13fc6274c2a $fNFDataSrcSpan :: Control.DeepSeq.NFData Language.Fixpoint.Types.Spans.SrcSpan DFunId 58dd7eff6040aa97f060415235c6cb01 $fNFDataSubst :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fNFDataSymConst :: Control.DeepSeq.NFData Language.Fixpoint.Types.Refinements.SymConst DFunId 58dd7eff6040aa97f060415235c6cb01 $fOrdBop :: GHC.Classes.Ord Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fOrdBrel :: GHC.Classes.Ord Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fOrdConstant :: GHC.Classes.Ord Language.Fixpoint.Types.Refinements.Constant DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fOrdKVar :: GHC.Classes.Ord Language.Fixpoint.Types.Refinements.KVar DFunId 70bf9d44b2d107fffacade38f4990bd9 $fOrdSymConst :: GHC.Classes.Ord Language.Fixpoint.Types.Refinements.SymConst DFunId 58dd7eff6040aa97f060415235c6cb01 $fPPrintBop :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fPPrintBrel :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fPPrintConstant :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fPPrintExpr :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.Expr DFunId d1b959feb3e6e165694f06ccc1e60f00 $fPPrintKVSub :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.KVSub DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fPPrintKVar :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.KVar DFunId fb4681e5db138d86db09a8649075118c $fPPrintSort :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Sorts.Sort DFunId 58dd7eff6040aa97f060415235c6cb01 $fPPrintSubst :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fPPrintSymConst :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Refinements.SymConst DFunId b95c54a77eb82a812364ea7f530eb029 $fPPrintTCEmb :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Types.PrettyPrint.PPrint (Language.Fixpoint.Types.Sorts.TCEmb a) DFunId 93656b5647e6ad833660a9dc492a1ebf $fPredicateBool :: Language.Fixpoint.Types.Refinements.Predicate GHC.Types.Bool DFunId 93656b5647e6ad833660a9dc492a1ebf $fPredicateExpr :: Language.Fixpoint.Types.Refinements.Predicate Language.Fixpoint.Types.Refinements.Expr DFunId 93656b5647e6ad833660a9dc492a1ebf $fPredicateSymbol :: Language.Fixpoint.Types.Refinements.Predicate Language.Fixpoint.Types.Names.Symbol DFunId 58dd7eff6040aa97f060415235c6cb01 $fShowBop :: GHC.Show.Show Language.Fixpoint.Types.Refinements.Bop DFunId 3130541cdaa27975ca84ce0fd238d8aa $fShowBrel :: GHC.Show.Show Language.Fixpoint.Types.Refinements.Brel DFunId 77cbbec08e19a1217d2b733c8f08120e $fShowConstant :: GHC.Show.Show Language.Fixpoint.Types.Refinements.Constant DFunId 58dd7eff6040aa97f060415235c6cb01 $fShowExpr :: GHC.Show.Show Language.Fixpoint.Types.Refinements.Expr DFunId af986c6f2ab8500fff12f403a43796ed $fShowGradInfo :: GHC.Show.Show Language.Fixpoint.Types.Refinements.GradInfo DFunId d1b959feb3e6e165694f06ccc1e60f00 $fShowKVSub :: GHC.Show.Show Language.Fixpoint.Types.Refinements.KVSub DFunId f4ebd74e51621c4f10e9fc003e3885a9 $fShowKVar :: GHC.Show.Show Language.Fixpoint.Types.Refinements.KVar DFunId 58dd7eff6040aa97f060415235c6cb01 $fShowSubst :: GHC.Show.Show Language.Fixpoint.Types.Refinements.Subst DFunId 70bf9d44b2d107fffacade38f4990bd9 $fShowSymConst :: GHC.Show.Show Language.Fixpoint.Types.Refinements.SymConst DFunId 60165a51c7f24051113a59802b59cd27 $fSubableLocated :: Language.Fixpoint.Types.Refinements.Subable a => Language.Fixpoint.Types.Refinements.Subable (Language.Fixpoint.Types.Spans.Located a) DFunId 70bf9d44b2d107fffacade38f4990bd9 $fSymbolicSymConst :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Refinements.SymConst DFunId ea87e113354a644d414b1a10afa4a805 $mEBot :: Language.Fixpoint.Types.Refinements.Expr -> (GHC.Prim.Void# -> r) -> (GHC.Prim.Void# -> r) -> r ed11e796fd3db1f8bc0db70bdb73b1dd $mEDiv :: Language.Fixpoint.Types.Refinements.Expr -> (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> r) -> (GHC.Prim.Void# -> r) -> r eedbaadba299922f3cfb87d0e4997762 $mEEq :: Language.Fixpoint.Types.Refinements.Expr -> (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> r) -> (GHC.Prim.Void# -> r) -> r 3a1ac04df6d0a8ea52908f38666ce8f2 $mERDiv :: Language.Fixpoint.Types.Refinements.Expr -> (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> r) -> (GHC.Prim.Void# -> r) -> r ac1f4ecae53ab5d83faf85a089870f56 $mERTimes :: Language.Fixpoint.Types.Refinements.Expr -> (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> r) -> (GHC.Prim.Void# -> r) -> r 894616c2da6f9c55281ff8c8350e89cd $mETimes :: Language.Fixpoint.Types.Refinements.Expr -> (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> r) -> (GHC.Prim.Void# -> r) -> r 0d264eadd80197b137e3753027584a99 $mPFalse :: Language.Fixpoint.Types.Refinements.Expr -> (GHC.Prim.Void# -> r) -> (GHC.Prim.Void# -> r) -> r d1d28430f8a46701f53b00d25b54bea1 $mPTop :: Language.Fixpoint.Types.Refinements.Expr -> (GHC.Prim.Void# -> r) -> (GHC.Prim.Void# -> r) -> r 8eb210d60f85300a11e02ad593995d10 $mPTrue :: Language.Fixpoint.Types.Refinements.Expr -> (GHC.Prim.Void# -> r) -> (GHC.Prim.Void# -> r) -> r 085d6bd16cdeb3aa17f8e6f955a8bb75 $tc'C:Expression :: GHC.Types.TyCon 0090a3f676b9bff374dc66337a507525 $tc'C:Falseable :: GHC.Types.TyCon 43601e409721f04e6ee6d3d871bdd529 $tc'C:HasGradual :: GHC.Types.TyCon a379865e7b819b3189cfec6737f23b14 $tc'C:Predicate :: GHC.Types.TyCon 0ce9eb6e1c359823f5a21805ea4e8295 $tc'C:Reftable :: GHC.Types.TyCon 7a3d367052b368f3c232dfa0bb8c3c6b $tc'C:Subable :: GHC.Types.TyCon c00810b6a83872e522c0849fc37491d9 $tc'Div :: GHC.Types.TyCon 212807518d783b66727fdbeb143eee32 $tc'EApp :: GHC.Types.TyCon 8d7d607fda38498e624035c2b3b32bd0 $tc'EBin :: GHC.Types.TyCon 420eebd3337b72d5b8a032b760c1b645 $tc'ECoerc :: GHC.Types.TyCon 3da84dbe50f682f4d9d9ce1df5e3c1ef $tc'ECon :: GHC.Types.TyCon 7706439d745d56c04ff9fafb1d3dfe15 $tc'ECst :: GHC.Types.TyCon 5dafa20f66720a8bb57972d7325a08fe $tc'EIte :: GHC.Types.TyCon 68fab27799d085f9f7df1cff85f3da86 $tc'ELam :: GHC.Types.TyCon 101c9d07fa3d95c7a50219b7faea0ece $tc'ENeg :: GHC.Types.TyCon f51cd846d8e67e44650e65d30b71c0d0 $tc'ESym :: GHC.Types.TyCon e4dc0a1d0f6908675eb9dd68d5f9695e $tc'ETAbs :: GHC.Types.TyCon ea38d9320a25fdc3356847b47e348cbe $tc'ETApp :: GHC.Types.TyCon e0ef8014988c2fb93277344f8b90deb7 $tc'EVar :: GHC.Types.TyCon 8b062a6cc4c468c1b6f9caa427a6748a $tc'Eq :: GHC.Types.TyCon 8679814a8fec1808f7243e1f1e04e31d $tc'Ge :: GHC.Types.TyCon 40611fa6cadbcff0f232c1fb7f3b5d27 $tc'GradInfo :: GHC.Types.TyCon 4b029e5248c6edbe39225ac0022bc703 $tc'Gt :: GHC.Types.TyCon 93d88b6f1576bfebf23bc98c2f9ac9bd $tc'I :: GHC.Types.TyCon 271d966c6c9f2610880e8ab1cd9b0788 $tc'KV :: GHC.Types.TyCon 3a2a1224b865482123a2996a86a116ba $tc'KVS :: GHC.Types.TyCon e6bedcb3054c8a254b3c7b0410d34bfe $tc'L :: GHC.Types.TyCon a18fe453db565e0e6bc7952fdb65f2ef $tc'Le :: GHC.Types.TyCon c3256651e89e62a1b958a87529680fde $tc'Lt :: GHC.Types.TyCon 84ed8b49dd73e9b9bcb9835cfbb9319e $tc'Minus :: GHC.Types.TyCon 5ca50e3546043d207cee1515bde1303a $tc'Mod :: GHC.Types.TyCon 34ea51660b129c90b0e3d2786e5e34c4 $tc'Ne :: GHC.Types.TyCon 52cd49aaa8a93056f2885ec9cb53b7e4 $tc'PAll :: GHC.Types.TyCon 22b74cdd8aafb5c4f61976f8a6ceb081 $tc'PAnd :: GHC.Types.TyCon 195eea2ae05f0d7646b9839c1cd1b317 $tc'PAtom :: GHC.Types.TyCon 05d4f98aa4055f935e4fb335ef60abd6 $tc'PExist :: GHC.Types.TyCon 5f0eddddd5bd8ae3fefb955001abdaad $tc'PGrad :: GHC.Types.TyCon 7fefe6cbb7ca30eae9af87e5255458af $tc'PIff :: GHC.Types.TyCon 58ad060d52267737f3a2275eea8a6edc $tc'PImp :: GHC.Types.TyCon e934b05d2f8b7fd6ae7b53f17a4294a4 $tc'PKVar :: GHC.Types.TyCon 5956e9ccf5ae16194609c3b5c9145383 $tc'PNot :: GHC.Types.TyCon 690b00df152778dc1c3be6b20bb2a014 $tc'POr :: GHC.Types.TyCon 7f2342deb958f1a6cf324a93e546748c $tc'Plus :: GHC.Types.TyCon 904ed2c9507f442120e7e0c5f1143edd $tc'R :: GHC.Types.TyCon 6104c2580b51102791b4ebcf92c0964d $tc'RDiv :: GHC.Types.TyCon 64e46e599eff94185acfe279d9c3e38a $tc'RR :: GHC.Types.TyCon ef898e55d98d8b88e54d48cf285201e3 $tc'RTimes :: GHC.Types.TyCon fee7b75f5e480fa80ae9b083093ff3ee $tc'Reft :: GHC.Types.TyCon a6983def4dfe825e7d68b9fdf73c267a $tc'SL :: GHC.Types.TyCon bdb0d0952d55bd1fbdff78c285cf93ee $tc'Su :: GHC.Types.TyCon 98b3cb10c2ba2b640a5467c78d0df817 $tc'Times :: GHC.Types.TyCon 9f9746345191a35d648c54ee1adedac9 $tc'Ueq :: GHC.Types.TyCon e93fdf095353a633d4feb16ec2eec456 $tc'Une :: GHC.Types.TyCon 51241648efa7197f477693b4bd5e6802 $tcBop :: GHC.Types.TyCon 805434449133c58667a015a6843096c4 $tcBrel :: GHC.Types.TyCon 1266579c68a38a13c8d3ac65649e435a $tcConstant :: GHC.Types.TyCon 510262735fcd27797b67119aec447ee5 $tcExpr :: GHC.Types.TyCon 22ef5560efd2b85a316839329158a8ce $tcExpression :: GHC.Types.TyCon 5f60b39f5cc74f43ea2dfd86f0d7cc17 $tcFalseable :: GHC.Types.TyCon 27f59adbe694c3d881b0908c61eb1542 $tcGradInfo :: GHC.Types.TyCon 5dc4c727551c145983b4bc1912cb378f $tcHasGradual :: GHC.Types.TyCon 0de666c3710f6d9d9ecac7bbbac13047 $tcKVSub :: GHC.Types.TyCon 2f45d3c3a88845e5a0a5462c5aaf545c $tcKVar :: GHC.Types.TyCon 81ff2d1a434490de33b1f661f8d02306 $tcPredicate :: GHC.Types.TyCon d883a1e713d06236c3954355c0aa37a3 $tcReft :: GHC.Types.TyCon cd731c924cb6a2653bdea88e24fb5268 $tcReftable :: GHC.Types.TyCon d6167fad12720a33fbc31760cac3b7bf $tcSortedReft :: GHC.Types.TyCon 724ae4cb49f4786f684f3d7bc7e8d153 $tcSubable :: GHC.Types.TyCon 8320e0d61a5c8687a254b7889c5dc08a $tcSubst :: GHC.Types.TyCon c9b7b83d47773968dc5c1fd8c361780a $tcSymConst :: GHC.Types.TyCon 39419df8c7872c44de514c02ea9f6897 $trModule :: GHC.Types.Module 6181b4490e3595389de710d3949e91b1 (&.&) :: Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred 58dd7eff6040aa97f060415235c6cb01 data Bop = Plus | Minus | Times | Div | Mod | RTimes | RDiv 3130541cdaa27975ca84ce0fd238d8aa data Brel = Eq | Ne | Gt | Ge | Lt | Le | Ueq | Une 77cbbec08e19a1217d2b733c8f08120e data Constant = I !GHC.Integer.Type.Integer | R !GHC.Types.Double | L !Data.Text.Internal.Text !Language.Fixpoint.Types.Sorts.Sort 9879ed750ccc5a4093abcf7f02058efd pattern Language.Fixpoint.Types.Refinements.EBot :: Language.Fixpoint.Types.Refinements.Expr 4dfba844bb726e47c19d245745abcfbc pattern Language.Fixpoint.Types.Refinements.EDiv :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr b022fbb5d44329cad435c5cf3295d97c pattern Language.Fixpoint.Types.Refinements.EEq :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 8eed0051e9a30fb6968c8e47dc884b2c pattern Language.Fixpoint.Types.Refinements.ERDiv :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 670ffd98e9bd012a8e8759b7e258d83a pattern Language.Fixpoint.Types.Refinements.ERTimes :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr adc7a4740d349bee24fe48e20309b312 pattern Language.Fixpoint.Types.Refinements.ETimes :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 58dd7eff6040aa97f060415235c6cb01 data Expr = ESym !Language.Fixpoint.Types.Refinements.SymConst | ECon !Language.Fixpoint.Types.Refinements.Constant | EVar !Language.Fixpoint.Types.Names.Symbol | EApp !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr | ENeg !Language.Fixpoint.Types.Refinements.Expr | EBin !Language.Fixpoint.Types.Refinements.Bop !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr | EIte !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr | ECst !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Sorts.Sort | ELam !(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort) !Language.Fixpoint.Types.Refinements.Expr | ETApp !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Sorts.Sort | ETAbs !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Names.Symbol | PAnd ![Language.Fixpoint.Types.Refinements.Expr] | POr ![Language.Fixpoint.Types.Refinements.Expr] | PNot !Language.Fixpoint.Types.Refinements.Expr | PImp !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr | PIff !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr | PAtom !Language.Fixpoint.Types.Refinements.Brel !Language.Fixpoint.Types.Refinements.Expr !Language.Fixpoint.Types.Refinements.Expr | PKVar !Language.Fixpoint.Types.Refinements.KVar !Language.Fixpoint.Types.Refinements.Subst | PAll ![(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] !Language.Fixpoint.Types.Refinements.Expr | PExist ![(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] !Language.Fixpoint.Types.Refinements.Expr | PGrad !Language.Fixpoint.Types.Refinements.KVar !Language.Fixpoint.Types.Refinements.Subst !Language.Fixpoint.Types.Refinements.GradInfo !Language.Fixpoint.Types.Refinements.Expr | ECoerc !Language.Fixpoint.Types.Sorts.Sort !Language.Fixpoint.Types.Sorts.Sort !Language.Fixpoint.Types.Refinements.Expr 3223e45a95282010f7c8c44ba75b8d79 class Expression a where expr :: a -> Language.Fixpoint.Types.Refinements.Expr {-# MINIMAL expr #-} 923f91dd7301bd73734d8265d79f2de6 class Falseable a where isFalse :: a -> GHC.Types.Bool {-# MINIMAL isFalse #-} af986c6f2ab8500fff12f403a43796ed data GradInfo = GradInfo {gsrc :: Language.Fixpoint.Types.Spans.SrcSpan, gused :: GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan} 084d0b817b4e7c51b90fee6560e33ff3 class HasGradual a where isGradual :: a -> GHC.Types.Bool gVars :: a -> [Language.Fixpoint.Types.Refinements.KVar] ungrad :: a -> a {-# MINIMAL isGradual #-} d1b959feb3e6e165694f06ccc1e60f00 data KVSub = KVS {ksuVV :: Language.Fixpoint.Types.Names.Symbol, ksuSort :: Language.Fixpoint.Types.Sorts.Sort, ksuKVar :: Language.Fixpoint.Types.Refinements.KVar, ksuSubst :: Language.Fixpoint.Types.Refinements.Subst} f4ebd74e51621c4f10e9fc003e3885a9 newtype KVar = KV {kv :: Language.Fixpoint.Types.Names.Symbol} e43985c1fbf5446eb7e361fefcd63600 pattern Language.Fixpoint.Types.Refinements.PFalse :: Language.Fixpoint.Types.Refinements.Expr 241a73ae521c43fda6b01c9631464905 pattern Language.Fixpoint.Types.Refinements.PTop :: Language.Fixpoint.Types.Refinements.Expr 1c366fec6a192dc993b90d2b711bd4f4 pattern Language.Fixpoint.Types.Refinements.PTrue :: Language.Fixpoint.Types.Refinements.Expr 551c7d373a23dab3c0a93d27c12c8930 type Pred = Language.Fixpoint.Types.Refinements.Expr 93656b5647e6ad833660a9dc492a1ebf class Predicate a where prop :: a -> Language.Fixpoint.Types.Refinements.Expr {-# MINIMAL prop #-} 58dd7eff6040aa97f060415235c6cb01 newtype Reft = Reft (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.Expr) 738eabb2ee802fda7927d4314d5a74cc class (GHC.Base.Monoid r, Language.Fixpoint.Types.Refinements.Subable r) => Reftable r where isTauto :: r -> GHC.Types.Bool ppTy :: r -> Text.PrettyPrint.HughesPJ.Doc -> Text.PrettyPrint.HughesPJ.Doc top :: r -> r bot :: r -> r meet :: r -> r -> r toReft :: r -> Language.Fixpoint.Types.Refinements.Reft ofReft :: Language.Fixpoint.Types.Refinements.Reft -> r params :: r -> [Language.Fixpoint.Types.Names.Symbol] {-# MINIMAL isTauto, ppTy, bot, toReft, ofReft, params #-} 58dd7eff6040aa97f060415235c6cb01 axiom Language.Fixpoint.Types.Refinements.Rep_Bop:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.Bop = GHC.Generics.D1 ('GHC.Generics.MetaData "Bop" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) ((GHC.Generics.C1 ('GHC.Generics.MetaCons "Plus" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Minus" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Times" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1)) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "Div" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Mod" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "RTimes" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "RDiv" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1))) 3130541cdaa27975ca84ce0fd238d8aa axiom Language.Fixpoint.Types.Refinements.Rep_Brel:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.Brel = GHC.Generics.D1 ('GHC.Generics.MetaData "Brel" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (((GHC.Generics.C1 ('GHC.Generics.MetaCons "Eq" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Ne" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Gt" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Ge" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1)) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "Lt" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Le" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Ueq" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Une" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1))) 77cbbec08e19a1217d2b733c8f08120e axiom Language.Fixpoint.Types.Refinements.Rep_Constant:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.Constant = GHC.Generics.D1 ('GHC.Generics.MetaData "Constant" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "I" '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.Integer.Type.Integer)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "R" '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.Double)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "L" '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 Data.Text.Internal.Text) 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.Sorts.Sort)))) 58dd7eff6040aa97f060415235c6cb01 axiom Language.Fixpoint.Types.Refinements.Rep_Expr:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.Expr = GHC.Generics.D1 ('GHC.Generics.MetaData "Expr" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) ((((GHC.Generics.C1 ('GHC.Generics.MetaCons "ESym" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.SymConst)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "ECon" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Constant))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "EVar" '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.C1 ('GHC.Generics.MetaCons "EApp" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "ENeg" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr))))) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "EBin" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Bop) 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.Refinements.Expr) 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.Refinements.Expr))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "EIte" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr))) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "ECst" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "ELam" '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, Language.Fixpoint.Types.Sorts.Sort)) 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.Refinements.Expr)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "ETApp" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Sorts.Sort)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "ETAbs" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol)))))) GHC.Generics.:+: (((GHC.Generics.C1 ('GHC.Generics.MetaCons "PAnd" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Refinements.Expr])) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "POr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 [Language.Fixpoint.Types.Refinements.Expr]))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "PNot" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "PImp" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "PIff" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Expr))))) GHC.Generics.:+: ((GHC.Generics.C1 ('GHC.Generics.MetaCons "PAtom" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Brel) 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.Refinements.Expr) 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.Refinements.Expr))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "PKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar) 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.Refinements.Subst)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "PAll" '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, Language.Fixpoint.Types.Sorts.Sort)]) 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.Refinements.Expr)))) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "PExist" '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, Language.Fixpoint.Types.Sorts.Sort)]) 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.Refinements.Expr)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "PGrad" 'GHC.Generics.PrefixI 'GHC.Types.False) ((GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar) 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.Refinements.Subst)) 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.Refinements.GradInfo) 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.Refinements.Expr))) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "ECoerc" '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.Sorts.Sort) 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.Sorts.Sort) 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.Refinements.Expr)))))))) af986c6f2ab8500fff12f403a43796ed axiom Language.Fixpoint.Types.Refinements.Rep_GradInfo:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.GradInfo = GHC.Generics.D1 ('GHC.Generics.MetaData "GradInfo" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "GradInfo" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gsrc") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Spans.SrcSpan) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "gused") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan)))) d1b959feb3e6e165694f06ccc1e60f00 axiom Language.Fixpoint.Types.Refinements.Rep_KVSub:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.KVSub = GHC.Generics.D1 ('GHC.Generics.MetaData "KVSub" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "KVS" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ksuVV") '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 "ksuSort") '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 "ksuKVar") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "ksuSubst") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Subst)))) f4ebd74e51621c4f10e9fc003e3885a9 axiom Language.Fixpoint.Types.Refinements.Rep_KVar:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.KVar = GHC.Generics.D1 ('GHC.Generics.MetaData "KVar" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "KV" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "kv") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Names.Symbol))) 58dd7eff6040aa97f060415235c6cb01 axiom Language.Fixpoint.Types.Refinements.Rep_Reft:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.Reft = GHC.Generics.D1 ('GHC.Generics.MetaData "Reft" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Reft" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Maybe.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.Expr)))) 58dd7eff6040aa97f060415235c6cb01 axiom Language.Fixpoint.Types.Refinements.Rep_SortedReft:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.SortedReft = GHC.Generics.D1 ('GHC.Generics.MetaData "SortedReft" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "RR" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "sr_sort") '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 "sr_reft") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.Reft))) 58dd7eff6040aa97f060415235c6cb01 axiom Language.Fixpoint.Types.Refinements.Rep_Subst:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.Subst = GHC.Generics.D1 ('GHC.Generics.MetaData "Subst" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.True) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Su" '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.Names.Symbol Language.Fixpoint.Types.Refinements.Expr)))) 70bf9d44b2d107fffacade38f4990bd9 axiom Language.Fixpoint.Types.Refinements.Rep_SymConst:: GHC.Generics.Rep Language.Fixpoint.Types.Refinements.SymConst = GHC.Generics.D1 ('GHC.Generics.MetaData "SymConst" "Language.Fixpoint.Types.Refinements" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "SL" '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 Data.Text.Internal.Text))) 58dd7eff6040aa97f060415235c6cb01 data SortedReft = RR {sr_sort :: !Language.Fixpoint.Types.Sorts.Sort, sr_reft :: !Language.Fixpoint.Types.Refinements.Reft} 60165a51c7f24051113a59802b59cd27 class Subable a where syms :: a -> [Language.Fixpoint.Types.Names.Symbol] substa :: (Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol) -> a -> a substf :: (Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Refinements.Expr) -> a -> a subst :: Language.Fixpoint.Types.Refinements.Subst -> a -> a subst1 :: a -> (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.Expr) -> a {-# MINIMAL syms, substa, substf, subst #-} 58dd7eff6040aa97f060415235c6cb01 newtype Subst = Su (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Refinements.Expr) 70bf9d44b2d107fffacade38f4990bd9 data SymConst = SL !Data.Text.Internal.Text 62dbde6d56cf10a600838f12dff254d8 conjuncts :: Language.Fixpoint.Types.Refinements.Expr -> [Language.Fixpoint.Types.Refinements.Expr] 4349e1de3e9b5e13ba4bb83779e71fcc debruijnIndex :: Language.Fixpoint.Types.Refinements.Expr -> GHC.Types.Int 61b63ddc8053df8bce148586f0630ece eAppC :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 1307e7979a57d82780ccbddd25281f50 eApps :: Language.Fixpoint.Types.Refinements.Expr -> [Language.Fixpoint.Types.Refinements.Expr] -> Language.Fixpoint.Types.Refinements.Expr 23c3e591dddc150835dbbd9dca993503 eProp :: Language.Fixpoint.Types.Names.Symbolic a => a -> Language.Fixpoint.Types.Refinements.Expr 78f3007f3bb9a0c61a30d1ab8e58f084 eVar :: Language.Fixpoint.Types.Names.Symbolic a => a -> Language.Fixpoint.Types.Refinements.Expr fc1447942212b145006ca1510d4d9b3d elit :: Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Refinements.Expr a121d7f00a157278e2955c5d4b9cc5e2 exprReft :: Language.Fixpoint.Types.Refinements.Expression a => a -> Language.Fixpoint.Types.Refinements.Reft 56dc7aa135c7f2cf2d6085fd13aa9f31 falseReft :: Language.Fixpoint.Types.Refinements.Reft b8215ffd161e9bc87acce9aab28f717b flattenRefas :: [Language.Fixpoint.Types.Refinements.Expr] -> [Language.Fixpoint.Types.Refinements.Expr] af986c6f2ab8500fff12f403a43796ed gsrc :: Language.Fixpoint.Types.Refinements.GradInfo -> Language.Fixpoint.Types.Spans.SrcSpan RecSel Left Language.Fixpoint.Types.Refinements.GradInfo af986c6f2ab8500fff12f403a43796ed gused :: Language.Fixpoint.Types.Refinements.GradInfo -> GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan RecSel Left Language.Fixpoint.Types.Refinements.GradInfo ee8cd40aa5e6fb5a8e7ce151b81141f2 intKvar :: GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Refinements.KVar f0a5d88aefc50349b7c441e8b3999bb7 isContraPred :: Language.Fixpoint.Types.Refinements.Expr -> GHC.Types.Bool 15bb39791b2eaa58d6152a8a4e70c581 isFunctionSortedReft :: Language.Fixpoint.Types.Refinements.SortedReft -> GHC.Types.Bool 3a097c5f9ea6e7dca22bab5a2f3df362 isNonTrivial :: Language.Fixpoint.Types.Refinements.Reftable r => r -> GHC.Types.Bool a1b424e07674d0e6b4b00ddc71c855b3 isSingletonExpr :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Refinements.Expr -> GHC.Maybe.Maybe Language.Fixpoint.Types.Refinements.Expr f351bc8bf337cec43a54858123940de8 isSingletonReft :: Language.Fixpoint.Types.Refinements.Reft -> GHC.Maybe.Maybe Language.Fixpoint.Types.Refinements.Expr b0ebfe363526526426c55e6ea6cc9f4d isTautoPred :: Language.Fixpoint.Types.Refinements.Expr -> GHC.Types.Bool d1b959feb3e6e165694f06ccc1e60f00 ksuKVar :: Language.Fixpoint.Types.Refinements.KVSub -> Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Types.Refinements.KVSub d1b959feb3e6e165694f06ccc1e60f00 ksuSort :: Language.Fixpoint.Types.Refinements.KVSub -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Refinements.KVSub d1b959feb3e6e165694f06ccc1e60f00 ksuSubst :: Language.Fixpoint.Types.Refinements.KVSub -> Language.Fixpoint.Types.Refinements.Subst RecSel Left Language.Fixpoint.Types.Refinements.KVSub d1b959feb3e6e165694f06ccc1e60f00 ksuVV :: Language.Fixpoint.Types.Refinements.KVSub -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Refinements.KVSub f4ebd74e51621c4f10e9fc003e3885a9 kv :: Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Types.Refinements.KVar 7c8604cbab97b0e7659a3d28df5714bc mapPredReft :: (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr) -> Language.Fixpoint.Types.Refinements.Reft -> Language.Fixpoint.Types.Refinements.Reft 12f29bdc1c6edf6c119c480e20519306 mkEApp :: Language.Fixpoint.Types.Names.LocSymbol -> [Language.Fixpoint.Types.Refinements.Expr] -> Language.Fixpoint.Types.Refinements.Expr 42f3210a692bd1be1f31940da3882f01 mkProp :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Pred 3f119b0316b7f3c904eb453da90f80ac notExprReft :: Language.Fixpoint.Types.Refinements.Expression a => a -> Language.Fixpoint.Types.Refinements.Reft d997a1bd3b1f67d4020526858eca07c4 pAnd :: Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred 6a564808743029b550fac42026ffd243 pExist :: [(Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Sorts.Sort)] -> Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred d2264c1ad6b27b2aaf45fe2de8858841 pGAnd :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr fc359f38c8476ec7dc202dd5a7471437 pGAnds :: [Language.Fixpoint.Types.Refinements.Expr] -> Language.Fixpoint.Types.Refinements.Expr 4813b34991f64b0e5d97e49a86a08e49 pIte :: Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 8a1e1f795b62005d448717b57d964c5f pOr :: Language.Fixpoint.Misc.ListNE Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred 3e88a67daabcdb054a134b4aadd1cb16 pprintReft :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Refinements.Reft -> Text.PrettyPrint.HughesPJ.Doc ed755d08d3fab6d061823d472e8c7661 predReft :: Language.Fixpoint.Types.Refinements.Predicate a => a -> Language.Fixpoint.Types.Refinements.Reft c3a7f9b83e48c390aa1ce45d482d49ce propReft :: Language.Fixpoint.Types.Refinements.Predicate a => a -> Language.Fixpoint.Types.Refinements.Reft 591c33da3565b1c9871eaa22f0250cfd reft :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Reft 7d25a7e481f945537851203dd83cae77 reftBind :: Language.Fixpoint.Types.Refinements.Reft -> Language.Fixpoint.Types.Names.Symbol 527dc5e5e7463d3cd54501ed54246c2b reftConjuncts :: Language.Fixpoint.Types.Refinements.Reft -> [Language.Fixpoint.Types.Refinements.Reft] 9d7b055289a88730385e70810b114b97 reftPred :: Language.Fixpoint.Types.Refinements.Reft -> Language.Fixpoint.Types.Refinements.Expr 9b07f402f719e5fdde60de32b4802531 splitEApp :: Language.Fixpoint.Types.Refinements.Expr -> (Language.Fixpoint.Types.Refinements.Expr, [Language.Fixpoint.Types.Refinements.Expr]) b13d172acda197fed8cd69dde06e196a splitPAnd :: Language.Fixpoint.Types.Refinements.Expr -> [Language.Fixpoint.Types.Refinements.Expr] 58dd7eff6040aa97f060415235c6cb01 sr_reft :: Language.Fixpoint.Types.Refinements.SortedReft -> Language.Fixpoint.Types.Refinements.Reft RecSel Left Language.Fixpoint.Types.Refinements.SortedReft 58dd7eff6040aa97f060415235c6cb01 sr_sort :: Language.Fixpoint.Types.Refinements.SortedReft -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Types.Refinements.SortedReft 3fc582010d3949798a67a95868ec248e srcGradInfo :: Text.Parsec.Pos.SourcePos -> Language.Fixpoint.Types.Refinements.GradInfo cffad9314c4809ce0f389601bb1d2460 symbolReft :: Language.Fixpoint.Types.Names.Symbolic a => a -> Language.Fixpoint.Types.Refinements.Reft b1755155d9be8c8f361db2f542991fc4 trueReft :: Language.Fixpoint.Types.Refinements.Reft 5a60d78a8bc9c5d80e01c993695d83d5 trueSortedReft :: Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Refinements.SortedReft 89fb7207e88fd3843265f3d20215d023 uexprReft :: Language.Fixpoint.Types.Refinements.Expression a => a -> Language.Fixpoint.Types.Refinements.Reft fe3d819aa1977786a623e0eacc4a1286 usymbolReft :: Language.Fixpoint.Types.Names.Symbolic a => a -> Language.Fixpoint.Types.Refinements.Reft 84a95ce75000c5743a32bad10c33f3cc vv_ :: Language.Fixpoint.Types.Names.Symbol c616131631b88ca698887c566125560c (|.|) :: Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred -> Language.Fixpoint.Types.Refinements.Pred instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fBinaryBop instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fBinaryBrel instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fBinaryConstant instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fBinaryExpr instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fBinaryGradInfo instance [orphan] Data.Binary.Class.Binary [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.Refinements.$fBinaryHashMap instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fBinaryKVar instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fBinaryReft instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fBinarySortedReft instance [orphan] Data.Binary.Class.Binary [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Refinements.$fBinarySrcSpan instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fBinarySubst instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fBinarySymConst instance [orphan] Data.Binary.Class.Binary [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Refinements.$fBinaryTCEmb instance Data.Data.Data [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fDataBop instance Data.Data.Data [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fDataBrel instance Data.Data.Data [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fDataConstant instance Data.Data.Data [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fDataExpr instance Data.Data.Data [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fDataGradInfo instance Data.Data.Data [Language.Fixpoint.Types.Refinements.KVSub] = Language.Fixpoint.Types.Refinements.$fDataKVSub instance Data.Data.Data [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fDataKVar instance Data.Data.Data [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fDataReft instance Data.Data.Data [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fDataSortedReft instance Data.Data.Data [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fDataSubst instance Data.Data.Data [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fDataSymConst instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fEqBop instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fEqBrel instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fEqConstant instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fEqExpr instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fEqGradInfo instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.KVSub] = Language.Fixpoint.Types.Refinements.$fEqKVSub instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fEqKVar instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fEqReft instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fEqSortedReft instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fEqSubst instance GHC.Classes.Eq [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fEqSymConst instance Language.Fixpoint.Types.Refinements.Expression [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fExpressionExpr instance Language.Fixpoint.Types.Refinements.Expression [GHC.Types.Int] = Language.Fixpoint.Types.Refinements.$fExpressionInt instance Language.Fixpoint.Types.Refinements.Expression [GHC.Integer.Type.Integer] = Language.Fixpoint.Types.Refinements.$fExpressionInteger instance Language.Fixpoint.Types.Refinements.Expression [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Refinements.$fExpressionLocated instance Language.Fixpoint.Types.Refinements.Expression [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fExpressionReft instance Language.Fixpoint.Types.Refinements.Expression [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fExpressionSortedReft instance Language.Fixpoint.Types.Refinements.Expression [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Refinements.$fExpressionSymbol instance Language.Fixpoint.Types.Refinements.Expression [Data.Text.Internal.Text] = Language.Fixpoint.Types.Refinements.$fExpressionText instance Language.Fixpoint.Types.Refinements.Falseable [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fFalseableExpr instance Language.Fixpoint.Types.Refinements.Falseable [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fFalseableReft instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fFixpointBop instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fFixpointBrel instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fFixpointConstant instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fFixpointExpr instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fFixpointKVar instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fFixpointSubst instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fFixpointSymConst instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fGenericBop instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fGenericBrel instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fGenericConstant instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fGenericExpr instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fGenericGradInfo instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.KVSub] = Language.Fixpoint.Types.Refinements.$fGenericKVSub instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fGenericKVar instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fGenericReft instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fGenericSortedReft instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fGenericSubst instance GHC.Generics.Generic [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fGenericSymConst instance Language.Fixpoint.Types.Refinements.HasGradual [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fHasGradualExpr instance Language.Fixpoint.Types.Refinements.HasGradual [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fHasGradualReft instance Language.Fixpoint.Types.Refinements.HasGradual [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fHasGradualSortedReft instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fHashableBop instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fHashableBrel instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fHashableConstant instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fHashableExpr instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fHashableGradInfo instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fHashableKVar instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fHashableSubst instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fHashableSymConst instance Data.String.IsString [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fIsStringKVar instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fNFDataBop instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fNFDataBrel instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fNFDataConstant instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fNFDataExpr instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fNFDataGradInfo instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fNFDataKVar instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.$fNFDataReft instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.$fNFDataSortedReft instance [orphan] Control.DeepSeq.NFData [Language.Fixpoint.Types.Spans.SrcSpan] = Language.Fixpoint.Types.Refinements.$fNFDataSrcSpan instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fNFDataSubst instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fNFDataSymConst instance GHC.Classes.Ord [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fOrdBop instance GHC.Classes.Ord [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fOrdBrel instance GHC.Classes.Ord [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fOrdConstant instance GHC.Classes.Ord [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fOrdKVar instance GHC.Classes.Ord [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fOrdSymConst instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fPPrintBop instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fPPrintBrel instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fPPrintConstant instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fPPrintExpr instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.KVSub] = Language.Fixpoint.Types.Refinements.$fPPrintKVSub instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fPPrintKVar instance [orphan] Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.Sort] = Language.Fixpoint.Types.Refinements.$fPPrintSort instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fPPrintSubst instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fPPrintSymConst instance [orphan] Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Sorts.TCEmb] = Language.Fixpoint.Types.Refinements.$fPPrintTCEmb instance Language.Fixpoint.Types.Refinements.Predicate [GHC.Types.Bool] = Language.Fixpoint.Types.Refinements.$fPredicateBool instance Language.Fixpoint.Types.Refinements.Predicate [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fPredicateExpr instance Language.Fixpoint.Types.Refinements.Predicate [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Refinements.$fPredicateSymbol instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.$fShowBop instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.$fShowBrel instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.$fShowConstant instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.$fShowExpr instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.$fShowGradInfo instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.KVSub] = Language.Fixpoint.Types.Refinements.$fShowKVSub instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.$fShowKVar instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.$fShowSubst instance GHC.Show.Show [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fShowSymConst instance Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Refinements.$fSubableLocated instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.$fSymbolicSymConst family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Refinements.Rep_SortedReft family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Refinements.Rep_Reft family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.KVSub] = Language.Fixpoint.Types.Refinements.Rep_KVSub family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.Subst] = Language.Fixpoint.Types.Refinements.Rep_Subst family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Refinements.Rep_Expr family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.GradInfo] = Language.Fixpoint.Types.Refinements.Rep_GradInfo family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.Bop] = Language.Fixpoint.Types.Refinements.Rep_Bop family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.Brel] = Language.Fixpoint.Types.Refinements.Rep_Brel family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.Constant] = Language.Fixpoint.Types.Refinements.Rep_Constant family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.SymConst] = Language.Fixpoint.Types.Refinements.Rep_SymConst family instance GHC.Generics.Rep [Language.Fixpoint.Types.Refinements.KVar] = Language.Fixpoint.Types.Refinements.Rep_KVar trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: