==================== FINAL INTERFACE ==================== 2019-09-22 14:52:47.697676 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Horn.Transformations [orphan module] 8065 interface hash: 0a16b5946ca3296c54e9e7b40153219e ABI hash: c5627f0f6010fe5361df636e3739b5af export-list hash: 1b41926f842a0fd3fd9be1a93301bd8e orphan hash: 707d983f88534bcc6f7b53749f6ec665 flag hash: 85576ccb01ba22b9d7ea4cd0dd910efe opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Horn.Transformations.cstrToExpr Language.Fixpoint.Horn.Transformations.elim Language.Fixpoint.Horn.Transformations.elimKs Language.Fixpoint.Horn.Transformations.elimPis Language.Fixpoint.Horn.Transformations.solveEbs Language.Fixpoint.Horn.Transformations.uniq Language.Fixpoint.Horn.Transformations.Flatten|{Language.Fixpoint.Horn.Transformations.flatten} module dependencies: Language.Fixpoint.Horn.Types 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.Horn.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.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.Either 423bee738f25e5ee983d072216009be8 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.Functor.Identity f8b68112573f77a401c3389544bc0f0d import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.String fa00d4c51cd8d22ee4f54a25f9e9c97d 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.Err ea5e313ef4146b40b5d8b27aa168e736 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.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ cmdargs-0.10.20:System.Console.CmdArgs.Verbosity fa5402dbe76d4158a9bd93730fac6d67 import -/ containers-0.6.0.1:Data.Set afd5ab7eac5658da18a4fffc2d1b683c import -/ containers-0.6.0.1:Data.Set.Internal a9b0d2c3208f9a74ef7f480a7813af2a import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Horn.Types 0ae363ed255ece99a3de1063ec58a439 exports: 9b0de31aa69a6babffad4da85add20a8 All 1a7e3b9f77b04f80c74882bd6503b3fc Any 0026c819285e671851394e642270367f Bind f62ccca134d4da48207548fbdc3fb06e Bind 193a8da174f543b2ef448a31321a0e0a CAnd 2c805a8ce0258234c9defd19d95a8fed Cstr 193a8da174f543b2ef448a31321a0e0a Head 85db9aaa2c49b57ea94b41073a266e89 PAnd 1ddfa876810b28ab17f0f3c7f6f7bfd9 Pred d1e3c9d23c9780cb1438b15d925e1c45 Query 7982285f6b4b341239d765f06789d248 Query 193a8da174f543b2ef448a31321a0e0a Reft 3f8572ce434a2d0b819521d12e4cf87f Var b2ae80e1af9b8434471af2ac86bc0cbe cLabel 4c516ed871836729e5bbc24604fe9dc1 hvName 49693393b4058ba73f4195bdab9e37ae import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 symbolString 8b7e66ffe1373b3c8eea5ece172dd4c9 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a showpp a9f79fc9a75f72593341c16b4b8ac492 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc EVar dbcccd19fa06e8cd413d3f8989324ef6 Eq 3f11ae5b47578ad5a2c554235bd0e66b Expr 58dd7eff6040aa97f060415235c6cb01 KV 9862585cb8815843a934d7dad38d665a PAll 95061dd88b416f835271772df1b74807 PAnd 668269c725f0f517f2cefead144acbec PAtom efd69e8b2834a0937ec103ca6d2f2b7d PExist c6ca2ca0202788949bf0d916db637f7a PImp 71d909aca81df6b76b372b30b2979f8d PKVar 00776deded6bdc1a9b45a9cd2ff73aa5 PTrue 1c366fec6a192dc993b90d2b711bd4f4 Su c7f0aa4f362b23d4096b7fbf274dffd0 Subable 60165a51c7f24051113a59802b59cd27 isTautoPred b0ebfe363526526426c55e6ea6cc9f4d splitPAnd b13d172acda197fed8cd69dde06e196a subst 8dc51beb28f3e734b2b3097edf7df9c8 subst1 32fda17df52baa2dc57c3f6fcba8c1ae substa 4128f370b0314e7d7d083d0dc7d38a4c substf 2a7829ff8a455a2f5d2182c05514a458 syms cedb5518769db9d49f4ce507184c5e1f import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 Sort 30d6fd7d99459ff88296e3b55c87b46c boolSort 05be9e1ff80dff4f05fc2d8105076210 import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad exports: 483fcd13e73dd85ffa64d4931a72ac90 Visitable 538848ccf7d607090eacca8d17c97af6 Visitor b907595a56c63aacc071b11708504163 accExpr b907595a56c63aacc071b11708504163 ctxExpr b907595a56c63aacc071b11708504163 defaultVisitor 702ceebf65ec7e45cbc2b67c3c0c84d3 fold 3ff20672dabf1b7d83dceb37cbf5293a mapMExpr 6293e52d58f2fec83e2af187562c44a6 trans 95b3f331427c9bad5e5eba78717c7663 txExpr b907595a56c63aacc071b11708504163 visit 0fbbef97336cb16941cc1503b9fe1333 import -/ mtl-2.2.2:Control.Monad.Identity e802522ee1a00db34dedef519823c0df import -/ mtl-2.2.2:Control.Monad.State 753def63fe8e937dc636f11e5230745a import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418 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 1873086c09ed09abc4f29b4d874d913a $fFlattenCstr :: Language.Fixpoint.Horn.Transformations.Flatten (Language.Fixpoint.Horn.Types.Cstr a) DFunId 1873086c09ed09abc4f29b4d874d913a $fFlattenPred :: Language.Fixpoint.Horn.Transformations.Flatten Language.Fixpoint.Horn.Types.Pred DFunId 1873086c09ed09abc4f29b4d874d913a $fFlatten[] :: Language.Fixpoint.Horn.Transformations.Flatten [Language.Fixpoint.Horn.Types.Pred] DFunId 1873086c09ed09abc4f29b4d874d913a $fFlatten[]0 :: Language.Fixpoint.Horn.Transformations.Flatten [Language.Fixpoint.Horn.Types.Cstr a] DFunId e4ee8c230763958c96fd94821857c075 $fSubableBind :: Language.Fixpoint.Types.Refinements.Subable Language.Fixpoint.Horn.Types.Bind DFunId f91eee4d3a559654031c9b79fcec9702 $fSubablePred :: Language.Fixpoint.Types.Refinements.Subable Language.Fixpoint.Horn.Types.Pred DFunId cdf52ec0043ae8285e716ca760d55683 $fVisitableCstr :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Horn.Types.Cstr a) DFunId b5608d85146801c4b34fa3eb0b2b89a1 $fVisitablePred :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Horn.Types.Pred DFunId 0fa07ab7fbb514063deeaa68e72ef8cf $tc'C:Flatten :: GHC.Types.TyCon 6edb78f863d333c8832e1e45261daf0b $tcFlatten :: GHC.Types.TyCon 1408aa299da6060aa2210c3afb13603c $trModule :: GHC.Types.Module 1873086c09ed09abc4f29b4d874d913a class Flatten a where flatten :: a -> a {-# MINIMAL flatten #-} 0fd61ee8f51a21ff7a446e52d35f28b8 type RenameMap = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol GHC.Integer.Type.Integer 07737fcfb16e999ea4a6b0608412d88a type Sol a = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol (Data.Either.Either (Data.Either.Either [[Language.Fixpoint.Horn.Types.Bind]] (Language.Fixpoint.Horn.Types.Cstr a)) Language.Fixpoint.Types.Refinements.Expr) 22ffbcf1e7770e9ded2a8e6f47aac13c cstrToExpr :: Language.Fixpoint.Horn.Types.Cstr a -> Language.Fixpoint.Types.Refinements.Expr 57c5c499c88ab319b32c49f34308bb99 elim :: Language.Fixpoint.Horn.Types.Cstr a -> Language.Fixpoint.Horn.Types.Cstr a 290dd56873953f9840c0fab8c2349784 elimKs :: [Language.Fixpoint.Types.Names.Symbol] -> (Language.Fixpoint.Horn.Types.Cstr a, Language.Fixpoint.Horn.Types.Cstr a) -> (Language.Fixpoint.Horn.Types.Cstr a, Language.Fixpoint.Horn.Types.Cstr a) 934eb0689fe90f2f819f8b7dbdcf773c elimPis :: [Language.Fixpoint.Types.Names.Symbol] -> (Language.Fixpoint.Horn.Types.Cstr a, Language.Fixpoint.Horn.Types.Cstr a) -> (Language.Fixpoint.Horn.Types.Cstr a, Language.Fixpoint.Horn.Types.Cstr a) 2e9394490a6f8bd372382329940ac65b solveEbs :: Language.Fixpoint.Types.PrettyPrint.PPrint a => Language.Fixpoint.Horn.Types.Query a -> GHC.Types.IO (Language.Fixpoint.Horn.Types.Query a) 34862547ab3a7586b3eadc2b4e900c33 uniq :: Language.Fixpoint.Horn.Types.Cstr a -> Language.Fixpoint.Horn.Types.Cstr a instance Language.Fixpoint.Horn.Transformations.Flatten [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Transformations.$fFlattenCstr instance Language.Fixpoint.Horn.Transformations.Flatten [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Transformations.$fFlattenPred instance Language.Fixpoint.Horn.Transformations.Flatten [[]] = Language.Fixpoint.Horn.Transformations.$fFlatten[] instance Language.Fixpoint.Horn.Transformations.Flatten [[]] = Language.Fixpoint.Horn.Transformations.$fFlatten[]0 instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Horn.Types.Bind] = Language.Fixpoint.Horn.Transformations.$fSubableBind instance [orphan] Language.Fixpoint.Types.Refinements.Subable [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Transformations.$fSubablePred instance [orphan] Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Horn.Types.Cstr] = Language.Fixpoint.Horn.Transformations.$fVisitableCstr instance [orphan] Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Horn.Types.Pred] = Language.Fixpoint.Horn.Transformations.$fVisitablePred trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: