==================== FINAL INTERFACE ==================== 2019-09-22 14:52:51.331846 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Graduals 8065 interface hash: caeeab3bdbc76d7ec9c1efb7a3a07c77 ABI hash: 9b95f1fc42badbc3a1b9e3512be03999 export-list hash: c652b3e750f52d0346904b3e8b817f3e orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 0bc6e4b226693119cd44100de16ecadc opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Graduals.makeSolutions Language.Fixpoint.Types.Graduals.uniquify Language.Fixpoint.Types.Graduals.GSol Language.Fixpoint.Types.Graduals.Gradual{Language.Fixpoint.Types.Graduals.gsubst} module dependencies: Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types Language.Fixpoint.Misc Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.Solver.Sanitize Language.Fixpoint.SortCheck Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 double-conversion-2.0.2.0 fgl-5.7.0.1 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 mtl-2.2.2 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: transformers-0.5.6.2:Control.Monad.Trans.Error liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Data.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.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e allCombinations 7d64122a596fe1d6aad34004bb377232 errorstar e47c2d482124b43e020a405f809adcff import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 symbolEnv e9ab0691e8ecbe0102273ed657a09d59 import -/ Language.Fixpoint.SortCheck f7b7dc40080c3027ffc5d238db179224 exports: fef1457ed33a6a1cb5bc6a8b38a1edff elaborate 5809c5e4abf9d4e8230e50ea3a386a0e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 exports: 12c9708cdb7cc8f94e739104f060796e GWInfo 631d20d0918c14b74d892903e40cbdc3 SInfo 90ef96c47f269969affd7c3639af34f3 SimpC 03dcffeea2a5199db7c9ff0154825bc0 SubcId 311c8f398e2d0f5e23e664bacb45f905 WfC ad7a627c031dc594c719d4e423bdd067 _cenv 03dcffeea2a5199db7c9ff0154825bc0 _cinfo 03dcffeea2a5199db7c9ff0154825bc0 _crhs 03dcffeea2a5199db7c9ff0154825bc0 bs 90ef96c47f269969affd7c3639af34f3 cm 90ef96c47f269969affd7c3639af34f3 gexpr 631d20d0918c14b74d892903e40cbdc3 ginfo 631d20d0918c14b74d892903e40cbdc3 isGWfc 4c70cb60ff73f441d356b3d67861f82f wloc ad7a627c031dc594c719d4e423bdd067 wrft ad7a627c031dc594c719d4e423bdd067 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 exports: ab8867d60d15ba2af38632b8e3ed1bf3 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 BindId c1dc08df6d648ef575cab1d33fc5df7b IBindEnv b71d4c279d7a7920d70dd44bac0305aa elemsIBindEnv cff28cd92ba002848a1acbf3edb359d8 fromListIBindEnv 203f800f75e8e2acc2223edc99807147 insertBindEnv bc97de86c3ec6f664abb49ca068d7984 lookupBindEnv d43e50ddb41c32b57594f5f31bf34671 mapBindEnv 32197c169397373f8fac7df4bdb16c5f import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a exports: 45d7959603a132b65636c5a341548000 gradIntSymbol 1aa17d1748414df608190bab8045639d tidySymbol 13924b25c17672ff990eafc746ecd68a import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 showpp a9f79fc9a75f72593341c16b4b8ac492 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc exports: c373b88351492ec6aa75dffded20541a EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 GradInfo af986c6f2ab8500fff12f403a43796ed KV 9862585cb8815843a934d7dad38d665a KVar f4ebd74e51621c4f10e9fc003e3885a9 PGrad 550de568c0242ed5fa6ef66e4aa1194d RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 Reft 58dd7eff6040aa97f060415235c6cb01 SortedReft 58dd7eff6040aa97f060415235c6cb01 gused af986c6f2ab8500fff12f403a43796ed pAnd d997a1bd3b1f67d4020526858eca07c4 sr_reft 58dd7eff6040aa97f060415235c6cb01 subst 8dc51beb28f3e734b2b3097edf7df9c8 syms cedb5518769db9d49f4ce507184c5e1f import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 exports: 9e9118ba5257e743a1e1c46db3e4cd33 Loc 4962bb0bc274d9001b974c3326b63480 SrcSpan 30cdf4122b891cc575df90039bdcbecb srcSpan 2b3eb671678320980d11df21e110f501 import -/ Language.Fixpoint.Types.Substitutions 68389730f57eb1bd783731c1e8e83435 exports: 49819ba83f4a612781a90fc7826a8b86 mkSubst fa0e5a33f52a68ffd2f44ba8a067ca8c import -/ Language.Fixpoint.Types.Theories 2d31db6b0cdc7b0f2231db238b021516 exports: a69c86f8cdfe4a6b4b2b705830bc822b SymEnv 0506688674ca55c28cc4df4c4dbdb2df import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 mapGVars' 8c97587b713809af4b9e9ba86ff22a20 mapMExpr 6293e52d58f2fec83e2af187562c44a6 import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418 import -/ mtl-2.2.2:Control.Monad.State.Lazy 7d371b0031c45953f2f91cf2f08d9b31 import -/ transformers-0.5.6.2:Control.Monad.Trans.State.Lazy 0c22827dedcb94d04bf072c00f8e95c2 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b f7995c7c09ea44df5ca8589e248a9a3d $fGradualExpr :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Refinements.Expr DFunId f7995c7c09ea44df5ca8589e248a9a3d $fGradualGInfo :: Language.Fixpoint.Types.Graduals.Gradual (Language.Fixpoint.Types.Constraints.SInfo a) DFunId f7995c7c09ea44df5ca8589e248a9a3d $fGradualHashMap :: Language.Fixpoint.Types.Graduals.Gradual v => Language.Fixpoint.Types.Graduals.Gradual (Data.HashMap.Base.HashMap k v) DFunId f7995c7c09ea44df5ca8589e248a9a3d $fGradualReft :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Refinements.Reft DFunId f7995c7c09ea44df5ca8589e248a9a3d $fGradualSimpC :: Language.Fixpoint.Types.Graduals.Gradual (Language.Fixpoint.Types.Constraints.SimpC a) DFunId f7995c7c09ea44df5ca8589e248a9a3d $fGradualSizedEnv :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Environments.BindEnv DFunId f7995c7c09ea44df5ca8589e248a9a3d $fGradualSortedReft :: Language.Fixpoint.Types.Graduals.Gradual Language.Fixpoint.Types.Refinements.SortedReft DFunId 2b38bcc7073965cad9db4503bf02261e $fMonoidGSol :: GHC.Base.Monoid Language.Fixpoint.Types.Graduals.GSol DFunId 2b38bcc7073965cad9db4503bf02261e $fSemigroupGSol :: GHC.Base.Semigroup Language.Fixpoint.Types.Graduals.GSol DFunId 2b38bcc7073965cad9db4503bf02261e $fShowGSol :: GHC.Show.Show Language.Fixpoint.Types.Graduals.GSol DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueExpr :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Refinements.Expr DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueHashMap :: Language.Fixpoint.Types.Graduals.Unique a => Language.Fixpoint.Types.Graduals.Unique (Data.HashMap.Base.HashMap Language.Fixpoint.Types.Constraints.SubcId a) DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueIBindEnv :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Environments.IBindEnv DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueInt :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Environments.BindId DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueReft :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Refinements.Reft DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueSimpC :: Language.Fixpoint.Types.Spans.Loc a => Language.Fixpoint.Types.Graduals.Unique (Language.Fixpoint.Types.Constraints.SimpC a) DFunId cbabeb8f08d15df5178b7f05e459691b $fUniqueSortedReft :: Language.Fixpoint.Types.Graduals.Unique Language.Fixpoint.Types.Refinements.SortedReft DFunId 16a76c9c7508fa5f82af149ace0c528d $tc'C:Gradual :: GHC.Types.TyCon 4aa416bda9d8d397df8c32ec7fa301a8 $tc'C:Unique :: GHC.Types.TyCon f3c9585511338fa43c28d7326e78d243 $tc'GSol :: GHC.Types.TyCon d8ac23c621ae932117410a726c59b4bc $tc'UniqueST :: GHC.Types.TyCon 23d20675dcef5ddc1b3bc181f298494f $tcGSol :: GHC.Types.TyCon 25e43f774921bdcca8ae839180a97968 $tcGradual :: GHC.Types.TyCon 8535846136e5385aac1d951afc9ef8f2 $tcUnique :: GHC.Types.TyCon 3d983ba53eedb87d54a6d8a6de32b923 $tcUniqueST :: GHC.Types.TyCon debe5f999b3e461e1dd9978601472760 $trModule :: GHC.Types.Module 2b38bcc7073965cad9db4503bf02261e data GSol = GSol !Language.Fixpoint.Types.Theories.SymEnv !(Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Refinements.Expr, Language.Fixpoint.Types.Refinements.GradInfo)) f7995c7c09ea44df5ca8589e248a9a3d class Gradual a where gsubst :: Language.Fixpoint.Types.Graduals.GSol -> a -> a {-# MINIMAL gsubst #-} cbabeb8f08d15df5178b7f05e459691b class Unique a where uniq :: a -> Language.Fixpoint.Types.Graduals.UniqueM a {-# MINIMAL uniq #-} 11880e5e846971e1b118c133eb1858d0 type UniqueM = Control.Monad.Trans.State.Lazy.State Language.Fixpoint.Types.Graduals.UniqueST :: * -> * b0de2de7486f9dd9bfa0aee596eba1e5 data UniqueST = UniqueST {freshId :: GHC.Integer.Type.Integer, kmap :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [(Language.Fixpoint.Types.Refinements.KVar, GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan)], change :: GHC.Types.Bool, cache :: Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Refinements.KVar, uloc :: GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan, ubs :: [Language.Fixpoint.Types.Environments.BindId], benv :: Language.Fixpoint.Types.Environments.BindEnv} b0de2de7486f9dd9bfa0aee596eba1e5 benv :: Language.Fixpoint.Types.Graduals.UniqueST -> Language.Fixpoint.Types.Environments.BindEnv RecSel Left Language.Fixpoint.Types.Graduals.UniqueST b0de2de7486f9dd9bfa0aee596eba1e5 cache :: Language.Fixpoint.Types.Graduals.UniqueST -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Types.Graduals.UniqueST b0de2de7486f9dd9bfa0aee596eba1e5 change :: Language.Fixpoint.Types.Graduals.UniqueST -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Graduals.UniqueST b0de2de7486f9dd9bfa0aee596eba1e5 freshId :: Language.Fixpoint.Types.Graduals.UniqueST -> GHC.Integer.Type.Integer RecSel Left Language.Fixpoint.Types.Graduals.UniqueST b0de2de7486f9dd9bfa0aee596eba1e5 kmap :: Language.Fixpoint.Types.Graduals.UniqueST -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [(Language.Fixpoint.Types.Refinements.KVar, GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan)] RecSel Left Language.Fixpoint.Types.Graduals.UniqueST 386ba6c6f005b28017975011198826fa makeSolutions :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a, GHC.Show.Show a) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.SInfo a -> [(Language.Fixpoint.Types.Refinements.KVar, (Language.Fixpoint.Types.Constraints.GWInfo, [[Language.Fixpoint.Types.Refinements.Expr]]))] -> GHC.Maybe.Maybe [Language.Fixpoint.Types.Graduals.GSol] b0de2de7486f9dd9bfa0aee596eba1e5 ubs :: Language.Fixpoint.Types.Graduals.UniqueST -> [Language.Fixpoint.Types.Environments.BindId] RecSel Left Language.Fixpoint.Types.Graduals.UniqueST b0de2de7486f9dd9bfa0aee596eba1e5 uloc :: Language.Fixpoint.Types.Graduals.UniqueST -> GHC.Maybe.Maybe Language.Fixpoint.Types.Spans.SrcSpan RecSel Left Language.Fixpoint.Types.Graduals.UniqueST cd30e5a333a1800b833e4b9e3960a100 uniquify :: (Control.DeepSeq.NFData a, Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.Spans.Loc a) => Language.Fixpoint.Types.Constraints.SInfo a -> Language.Fixpoint.Types.Constraints.SInfo a instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Graduals.$fGradualExpr instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Graduals.$fGradualGInfo instance Language.Fixpoint.Types.Graduals.Gradual [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.Graduals.$fGradualHashMap instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Graduals.$fGradualReft instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Graduals.$fGradualSimpC instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Graduals.$fGradualSizedEnv instance Language.Fixpoint.Types.Graduals.Gradual [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Graduals.$fGradualSortedReft instance GHC.Base.Monoid [Language.Fixpoint.Types.Graduals.GSol] = Language.Fixpoint.Types.Graduals.$fMonoidGSol instance GHC.Base.Semigroup [Language.Fixpoint.Types.Graduals.GSol] = Language.Fixpoint.Types.Graduals.$fSemigroupGSol instance GHC.Show.Show [Language.Fixpoint.Types.Graduals.GSol] = Language.Fixpoint.Types.Graduals.$fShowGSol instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Graduals.$fUniqueExpr instance Language.Fixpoint.Types.Graduals.Unique [Data.HashMap.Base.HashMap] = Language.Fixpoint.Types.Graduals.$fUniqueHashMap instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Environments.IBindEnv] = Language.Fixpoint.Types.Graduals.$fUniqueIBindEnv instance Language.Fixpoint.Types.Graduals.Unique [GHC.Types.Int] = Language.Fixpoint.Types.Graduals.$fUniqueInt instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Graduals.$fUniqueReft instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Graduals.$fUniqueSimpC instance Language.Fixpoint.Types.Graduals.Unique [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Graduals.$fUniqueSortedReft trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: