==================== FINAL INTERFACE ==================== 2019-09-22 14:52:52.956279 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.GradualSolution 8065 interface hash: 011c62bc48c7d080e543e4ac5effa776 ABI hash: 6d45026348f297cde2b8a188f03ce7bd export-list hash: 644807a5ff0246ebe1732974f67b90a4 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 3bd5ab6278134887b3063af3d20c031c opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.GradualSolution.init 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 parallel-3.2.2.0 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 stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic 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 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.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.Monoid 12b87658decc811c5251626260c01aeb import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e 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.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e groupList 89ce0af3d82aae7a2d9f3f3c1cde0d05 import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 symbolEnv e9ab0691e8ecbe0102273ed657a09d59 import -/ Language.Fixpoint.SortCheck f7b7dc40080c3027ffc5d238db179224 exports: fef1457ed33a6a1cb5bc6a8b38a1edff Env 474fd3daf7773a1200325c50db04e9e8 TVSubst a106b014cd7a377f85eca8a71f0c1edd apply 8adcb6a62b22c433eda83ce38c107b2c checkSorted 226ef447000bf1571f3b314469968dc6 elaborate 5809c5e4abf9d4e8230e50ea3a386a0e isMono 974554777c998acc33c611a055a9ef31 unifyFast 125054d2af6df4296d7b2ff26745e814 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 exports: 12c9708cdb7cc8f94e739104f060796e GWInfo 631d20d0918c14b74d892903e40cbdc3 Qualifier 9aae2bcc537b45559d03a4eee2bb72e5 SInfo 90ef96c47f269969affd7c3639af34f3 WfC ad7a627c031dc594c719d4e423bdd067 allowHOquals 2d72f2746bc8b5decaea3d152b78ce26 bs 90ef96c47f269969affd7c3639af34f3 gLits 90ef96c47f269969affd7c3639af34f3 gsort 631d20d0918c14b74d892903e40cbdc3 gsym 631d20d0918c14b74d892903e40cbdc3 gwInfo cd5a5785696346008a88134a28c438d0 isGWfc 4c70cb60ff73f441d356b3d67861f82f qParams 9aae2bcc537b45559d03a4eee2bb72e5 qpSort 9aae2bcc537b45559d03a4eee2bb72e5 quals 90ef96c47f269969affd7c3639af34f3 wenv ad7a627c031dc594c719d4e423bdd067 wrft ad7a627c031dc594c719d4e423bdd067 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 SEnv 7b76b1b3898bd64fc8c2187c261c0f80 envCs e423fff58f01e321ca4ef94ca8a41936 fromListSEnv 22654f2135f1b607f7ee82962c09eb4c insertSEnv 4288c53866870f2766a71eff8924b8fb lookupSEnvWithDistance f94357819b257ff74f5b6c3800c04b59 toListSEnv ddd97c9c472b637e00dcfff9c958a991 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 isLitSymbol 25094086814fd8fb3cd404fe6ffd3f18 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 Fixpoint 98d26628e0637967f879c1c12cfa20b7 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc Expr 58dd7eff6040aa97f060415235c6cb01 KVar f4ebd74e51621c4f10e9fc003e3885a9 RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 sr_sort 58dd7eff6040aa97f060415235c6cb01 import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 exports: afa649b912ca2c885ac627d761c55201 EQual a143c3dc8e88328902f82f3430d31b51 QBind a143c3dc8e88328902f82f3430d31b51 eQual e5bcf7cab41a61c218805512fb734b78 eqPred a143c3dc8e88328902f82f3430d31b51 qb 77ec72e84995f5e3c84562e1361f5d30 qbExprs 78ff437be832ed44cb7b0dc04cc18751 qbFilter f30befa0e360f31f8380452b5ced64c8 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c functionSort f594877f5448823b341deb917c8c3252 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 atLoc 1d33f99909507b18efe9f42abbbb5952 dummySpan 4c3a1f24b19908507cae45f533bfffe9 import -/ Language.Fixpoint.Types.Theories 2d31db6b0cdc7b0f2231db238b021516 seSort 0506688674ca55c28cc4df4c4dbdb2df import -/ parallel-3.2.2.0:Control.Parallel.Strategies 6a045ce81bdbdafd260789c5d129b50d import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 1f88b54c42785575c2ae17f7882fdfb7 $trModule :: GHC.Types.Module 6d32e087017321d13027d3f689d6634f init :: Language.Fixpoint.Types.PrettyPrint.Fixpoint 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]))] trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: