==================== FINAL INTERFACE ==================== 2017-05-08 17:11:11.09972 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Smt.Types 8002 interface hash: d7e66555bc6a56dba8cbc712629b9b14 ABI hash: f3cd20e31d878df1471a18301daec0de export-list hash: 7c305226ada8b0569e9625efa6775eda orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 698aab66169d3d947595688450a5849e sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Smt.Types.runSmt2 Language.Fixpoint.Smt.Types.symbolBuilder Language.Fixpoint.Smt.Types.Command{Language.Fixpoint.Smt.Types.Assert Language.Fixpoint.Smt.Types.AssertAxiom Language.Fixpoint.Smt.Types.CMany Language.Fixpoint.Smt.Types.CheckSat Language.Fixpoint.Smt.Types.Declare Language.Fixpoint.Smt.Types.Define Language.Fixpoint.Smt.Types.Distinct Language.Fixpoint.Smt.Types.GetValue Language.Fixpoint.Smt.Types.Pop Language.Fixpoint.Smt.Types.Push} Language.Fixpoint.Smt.Types.Context{Language.Fixpoint.Smt.Types.Ctx ctxAeq ctxBeq ctxCin ctxCout ctxExt ctxLog ctxNorm ctxPid ctxSmtEnv ctxVerbose} Language.Fixpoint.Smt.Types.Raw Language.Fixpoint.Smt.Types.Response{Language.Fixpoint.Smt.Types.Error Language.Fixpoint.Smt.Types.Ok Language.Fixpoint.Smt.Types.Sat Language.Fixpoint.Smt.Types.Unknown Language.Fixpoint.Smt.Types.Unsat Language.Fixpoint.Smt.Types.Values} Language.Fixpoint.Smt.Types.SMTEnv Language.Fixpoint.Smt.Types.SMTLIB2{Language.Fixpoint.Smt.Types.smt2} Language.Fixpoint.Smt.Types.TheorySymbol{Language.Fixpoint.Smt.Types.Thy tsInterp tsRaw tsSort tsSym} 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.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Utils.Files package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.IO.Handle.Types 17aa0e2ab137800e3a31992d780c071f import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e SEnv 6b7a0813b490d3c69166a159d2c90bbe import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 Symbol 107cf7489707dd0de1ccae6d6e42b2ab symbolSafeText 4266fd10fb6f675f184e3b582f0b2756 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 PPrint 78b520d4c3718d2e8c30eba678b273b4 pprint ddfd75447423a2dd5342795b308506e9 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 Expr bb73da387a50fe3797caa66eb4fb9c35 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da Sort f220e315b91d89c678725efa47bd0097 import -/ Language.Fixpoint.Types.Triggers c2e760ad7f82403b36096398e6cdbd50 Triggered d39972cec2a7b7cef313086c01f66d7e import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ process-1.4.3.0@process-1.4.3.0:System.Process 1ee59b956b7cad68338d3f6ab3e772ed import -/ process-1.4.3.0@process-1.4.3.0:System.Process.Common 91d400dd956c927d3667a213daaee8f0 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text 02cbbc20bdd508fabc38de38896bbae0 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal a2f6f66c5bb1247458d9fa25257ab188 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal.Builder cac246c99e360c04405d7258721e6f9e import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal.Lazy 1efb735dc8fcde46f3a3e88605ea2067 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy 547b2cb8d74b3b03ee583c506a59422a import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy.Builder 12f4026fc6128435b48f92178aec364b db4fa671cc40a53c2f366ce62e071bce $fEqCommand :: GHC.Classes.Eq Language.Fixpoint.Smt.Types.Command DFunId 65d5e11fe84a34cdec9d5733e6137691 $fEqResponse :: GHC.Classes.Eq Language.Fixpoint.Smt.Types.Response DFunId df068eec094f8766b39390d6310b72ee $fEqTheorySymbol :: GHC.Classes.Eq Language.Fixpoint.Smt.Types.TheorySymbol DFunId df068eec094f8766b39390d6310b72ee $fOrdTheorySymbol :: GHC.Classes.Ord Language.Fixpoint.Smt.Types.TheorySymbol DFunId db4fa671cc40a53c2f366ce62e071bce $fPPrintCommand :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Smt.Types.Command DFunId db4fa671cc40a53c2f366ce62e071bce $fShowCommand :: GHC.Show.Show Language.Fixpoint.Smt.Types.Command DFunId 65d5e11fe84a34cdec9d5733e6137691 $fShowResponse :: GHC.Show.Show Language.Fixpoint.Smt.Types.Response DFunId df068eec094f8766b39390d6310b72ee $fShowTheorySymbol :: GHC.Show.Show Language.Fixpoint.Smt.Types.TheorySymbol DFunId 830c08ae413f27d180d02c3dfd4a9fb2 $tc'Assert :: GHC.Types.TyCon ed8f13ff116cc1aae6d864c2ae2eba21 $tc'AssertAxiom :: GHC.Types.TyCon 7779b67a8cbfc371580bc78368f660f5 $tc'C:SMTLIB2 :: GHC.Types.TyCon 8ea550d5d57f442f492737c3573e603e $tc'CMany :: GHC.Types.TyCon 2f82d35726d7c7825a7ea35f989dc63d $tc'CheckSat :: GHC.Types.TyCon 043bf2374fc618108753692cba8f1f99 $tc'Ctx :: GHC.Types.TyCon 343a9eb54e109d218145a74c24bcdf1e $tc'Declare :: GHC.Types.TyCon 33c9cd843f67a289e408cb53927551a3 $tc'Define :: GHC.Types.TyCon f14b3946ceba1c39848fb3c113508f7b $tc'Distinct :: GHC.Types.TyCon 047e24509729f14f6d1570eade101b75 $tc'Error :: GHC.Types.TyCon 08e8ddeaa0c7537a0d8d242716ba2dbd $tc'GetValue :: GHC.Types.TyCon d9f56e6e05b52ffccacb60d5a69e06d6 $tc'Ok :: GHC.Types.TyCon 1c5b22f12e203e61310c792d98e6973c $tc'Pop :: GHC.Types.TyCon 2ce273b7384eeb983ab5ab277928633d $tc'Push :: GHC.Types.TyCon 2f81b92fcda637d7714c0bd37e2d27d8 $tc'Sat :: GHC.Types.TyCon 7d273df9d0437e5251de63fb1442352a $tc'Thy :: GHC.Types.TyCon 222f6e511d8eb362cc6b7be76cab9738 $tc'Unknown :: GHC.Types.TyCon 679f2621d227f438f3c8bde491002866 $tc'Unsat :: GHC.Types.TyCon 781d976877c5ccac605a4711aa055a74 $tc'Values :: GHC.Types.TyCon eebc10863e9f9ddd4ca1f95c20e161b7 $tcCommand :: GHC.Types.TyCon e6c03e882e133004404391cba472151d $tcContext :: GHC.Types.TyCon 8d44a3dcb37afcce6b3c387d262dfbcc $tcResponse :: GHC.Types.TyCon a6019cad73bdbd0a6ac3ce7735b1e7d9 $tcSMTLIB2 :: GHC.Types.TyCon 96f9302ea108d80ef4f956217ed1b7b6 $tcTheorySymbol :: GHC.Types.TyCon 882c5976bda8104dce2d35c49ac697c0 $trModule :: GHC.Types.Module db4fa671cc40a53c2f366ce62e071bce data Command = Push | Pop | CheckSat | Declare !Language.Fixpoint.Types.Names.Symbol [Language.Fixpoint.Types.Sorts.Sort] !Language.Fixpoint.Types.Sorts.Sort | Define !Language.Fixpoint.Types.Sorts.Sort | Assert !(GHC.Base.Maybe GHC.Types.Int) !Language.Fixpoint.Types.Refinements.Expr | AssertAxiom !(Language.Fixpoint.Types.Triggers.Triggered Language.Fixpoint.Types.Refinements.Expr) | Distinct [Language.Fixpoint.Types.Refinements.Expr] | GetValue [Language.Fixpoint.Types.Names.Symbol] | CMany [Language.Fixpoint.Smt.Types.Command] a83d7b6ca5478bdbd703e3b5fe0a23d1 data Context = Ctx {ctxPid :: !System.Process.Common.ProcessHandle, ctxCin :: !GHC.IO.Handle.Types.Handle, ctxCout :: !GHC.IO.Handle.Types.Handle, ctxLog :: !GHC.Base.Maybe GHC.IO.Handle.Types.Handle, ctxVerbose :: !GHC.Types.Bool, ctxExt :: !GHC.Types.Bool, ctxAeq :: !GHC.Types.Bool, ctxBeq :: !GHC.Types.Bool, ctxNorm :: !GHC.Types.Bool, ctxSmtEnv :: !Language.Fixpoint.Smt.Types.SMTEnv} 12285152178e29c441deebc12e32f38b type Raw = Data.Text.Internal.Lazy.Text 65d5e11fe84a34cdec9d5733e6137691 data Response = Ok | Sat | Unsat | Unknown | Values [(Language.Fixpoint.Types.Names.Symbol, Data.Text.Internal.Text)] | Error !Data.Text.Internal.Text 63581045f477d4ec4e1afa98823fc485 type SMTEnv = Language.Fixpoint.Types.Environments.SEnv Language.Fixpoint.Types.Sorts.Sort de2f3241d6a8c7fe9a95500a542a0af4 class SMTLIB2 a where smt2 :: a -> Data.Text.Internal.Builder.Builder {-# MINIMAL smt2 #-} df068eec094f8766b39390d6310b72ee data TheorySymbol = Thy {tsSym :: !Language.Fixpoint.Types.Names.Symbol, tsRaw :: !Language.Fixpoint.Smt.Types.Raw, tsSort :: !Language.Fixpoint.Types.Sorts.Sort, tsInterp :: !GHC.Types.Bool} e9de203cd58ff201e065850cda1e450d ctxAeq :: Language.Fixpoint.Smt.Types.Context -> GHC.Types.Bool RecSel Left Language.Fixpoint.Smt.Types.Context 83a25b42e3703e462126c0e15a56ad02 ctxBeq :: Language.Fixpoint.Smt.Types.Context -> GHC.Types.Bool RecSel Left Language.Fixpoint.Smt.Types.Context 73ae1e2eada73a23d48201c558e6be85 ctxCin :: Language.Fixpoint.Smt.Types.Context -> GHC.IO.Handle.Types.Handle RecSel Left Language.Fixpoint.Smt.Types.Context 627b92550cd75731fc8d9b5a44d1c7f1 ctxCout :: Language.Fixpoint.Smt.Types.Context -> GHC.IO.Handle.Types.Handle RecSel Left Language.Fixpoint.Smt.Types.Context 2b85972fd1700466e63258c5dffeb27c ctxExt :: Language.Fixpoint.Smt.Types.Context -> GHC.Types.Bool RecSel Left Language.Fixpoint.Smt.Types.Context f165728b5bc935e0e25b18e6c22bca10 ctxLog :: Language.Fixpoint.Smt.Types.Context -> GHC.Base.Maybe GHC.IO.Handle.Types.Handle RecSel Left Language.Fixpoint.Smt.Types.Context bcda3d2fdd5e6f6a0077f38e762e3fb6 ctxNorm :: Language.Fixpoint.Smt.Types.Context -> GHC.Types.Bool RecSel Left Language.Fixpoint.Smt.Types.Context baceac6bc7061e28f2045edfee2a8511 ctxPid :: Language.Fixpoint.Smt.Types.Context -> System.Process.Common.ProcessHandle RecSel Left Language.Fixpoint.Smt.Types.Context c9d4235123993471820c89fc1a76aaf1 ctxSmtEnv :: Language.Fixpoint.Smt.Types.Context -> Language.Fixpoint.Smt.Types.SMTEnv RecSel Left Language.Fixpoint.Smt.Types.Context e7c0ec8d4840ede38744233b94e2c64d ctxVerbose :: Language.Fixpoint.Smt.Types.Context -> GHC.Types.Bool RecSel Left Language.Fixpoint.Smt.Types.Context 579a23ba3d7eadf1e4d69c5ed5d38835 runSmt2 :: Language.Fixpoint.Smt.Types.SMTLIB2 a => a -> Data.Text.Internal.Builder.Builder 9a7419fdd5f757ca2fb8399a2355cb37 symbolBuilder :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Builder.Builder 68bf3c88b4e342e71380c2bdf081d863 tsInterp :: Language.Fixpoint.Smt.Types.TheorySymbol -> GHC.Types.Bool RecSel Left Language.Fixpoint.Smt.Types.TheorySymbol b86b5099d4451cf31f5df0e8d91d4823 tsRaw :: Language.Fixpoint.Smt.Types.TheorySymbol -> Language.Fixpoint.Smt.Types.Raw RecSel Left Language.Fixpoint.Smt.Types.TheorySymbol 047180a4c5c38448ab920224e9bb869b tsSort :: Language.Fixpoint.Smt.Types.TheorySymbol -> Language.Fixpoint.Types.Sorts.Sort RecSel Left Language.Fixpoint.Smt.Types.TheorySymbol 3fc149fbedfc12610cf88d042f727b31 tsSym :: Language.Fixpoint.Smt.Types.TheorySymbol -> Language.Fixpoint.Types.Names.Symbol RecSel Left Language.Fixpoint.Smt.Types.TheorySymbol instance GHC.Classes.Eq [Language.Fixpoint.Smt.Types.Command] = Language.Fixpoint.Smt.Types.$fEqCommand instance GHC.Classes.Eq [Language.Fixpoint.Smt.Types.Response] = Language.Fixpoint.Smt.Types.$fEqResponse instance GHC.Classes.Eq [Language.Fixpoint.Smt.Types.TheorySymbol] = Language.Fixpoint.Smt.Types.$fEqTheorySymbol instance GHC.Classes.Ord [Language.Fixpoint.Smt.Types.TheorySymbol] = Language.Fixpoint.Smt.Types.$fOrdTheorySymbol instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Smt.Types.Command] = Language.Fixpoint.Smt.Types.$fPPrintCommand instance GHC.Show.Show [Language.Fixpoint.Smt.Types.Command] = Language.Fixpoint.Smt.Types.$fShowCommand instance GHC.Show.Show [Language.Fixpoint.Smt.Types.Response] = Language.Fixpoint.Smt.Types.$fShowResponse instance GHC.Show.Show [Language.Fixpoint.Smt.Types.TheorySymbol] = Language.Fixpoint.Smt.Types.$fShowTheorySymbol vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False