==================== FINAL INTERFACE ==================== 2019-09-22 14:52:39.697782 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.UniqifyKVars 8065 interface hash: 6f89eafc7ac86991cbf8af2cac3f3530 ABI hash: b33b285b1ab2d8fc2b4096085d187ba8 export-list hash: d701e8feb000cdf3332b3a1143052610 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 0e47618e0a4842aa5cda451048b9dd57 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.UniqifyKVars.wfcUniqify module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.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 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 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.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 SInfo 90ef96c47f269969affd7c3639af34f3 WfC ad7a627c031dc594c719d4e423bdd067 bs 90ef96c47f269969affd7c3639af34f3 updateWfCExpr 2b19bcee88d4e71467659782fa496dd2 wenv ad7a627c031dc594c719d4e423bdd067 wrft ad7a627c031dc594c719d4e423bdd067 ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindId c1dc08df6d648ef575cab1d33fc5df7b elemsIBindEnv cff28cd92ba002848a1acbf3edb359d8 insertBindEnv bc97de86c3ec6f664abb49ca068d7984 insertsIBindEnv dca3e4d95477ee71c84a2814faf94fea lookupBindEnv d43e50ddb41c32b57594f5f31bf34671 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 kArgSymbol c4387b065bc6f987eaed9b7bb4595152 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc EVar dbcccd19fa06e8cd413d3f8989324ef6 KVar f4ebd74e51621c4f10e9fc003e3885a9 SortedReft 58dd7eff6040aa97f060415235c6cb01 Su c7f0aa4f362b23d4096b7fbf274dffd0 Subst 58dd7eff6040aa97f060415235c6cb01 eVar 78f3007f3bb9a0c61a30d1ab8e58f084 kv f4ebd74e51621c4f10e9fc003e3885a9 sr_sort 58dd7eff6040aa97f060415235c6cb01 subst 8dc51beb28f3e734b2b3097edf7df9c8 top 70facf73b73de971e8a54292cf34792c trueSortedReft 5a60d78a8bc9c5d80e01c993695d83d5 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 FAbs 8827fd69dabe452c42c2c745dfa98689 FApp 1d71c4ce8486fd8718c15888c11af1b5 FFrac 5a0487509a1a29dda536079b1750147a FFunc a2098452dd53c51f7531db6145200e8d FInt feec19063de9031ab717875a0a60c7b0 FNum 5b5ac191d5fc722937c5d2a123c4a98c FObj 1bb5d6e74aaa46fc1c29e2a322aa25fa FReal 39b6469449782575f5c1edbea6d3e1cc FTC e5d6113e0ae80db3702c5a83dedd8a7f FVar a3c34a432d4203ec59fb1483b26cb260 Sort 30d6fd7d99459ff88296e3b55c87b46c import -/ Language.Fixpoint.Types.Substitutions 68389730f57eb1bd783731c1e8e83435 mkSubst fa0e5a33f52a68ffd2f44ba8a067ca8c import -/ Language.Fixpoint.Types.Utils c4558c8f9797d9736e70827b8d56a1d3 kvarDomain 4dd9061c4d8b811598a3e279499607fc import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 mapKVarSubsts e04782062e21c8e7f96200bce79c4edc import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 55a7e9a9da985881a77a8a1b125ac6db $trModule :: GHC.Types.Module e1280036b1cb1a1d81a71b43a7fbd569 wfcUniqify :: Language.Fixpoint.Types.Constraints.SInfo a -> Language.Fixpoint.Types.Constraints.SInfo a trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: