==================== FINAL INTERFACE ==================== 2017-05-08 17:10:55.273652 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config [family instance module] 8002 interface hash: f58f37b5b62c6820e951e4135c2b75c2 ABI hash: 8ed6de90331535ece74d4ff7fcfff0df export-list hash: 26252365e1684d225d5392dd42c93881 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 426768fd97e7e7ebf0accb1ba703fd5c sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Config.defConfig Language.Fixpoint.Types.Config.defaultMaxPartSize Language.Fixpoint.Types.Config.defaultMinPartSize Language.Fixpoint.Types.Config.getOpts Language.Fixpoint.Types.Config.multicore Language.Fixpoint.Types.Config.queryFile Language.Fixpoint.Types.Config.useElim Language.Fixpoint.Types.Config.withPragmas Language.Fixpoint.Types.Config.Config{Language.Fixpoint.Types.Config.Config allowHO allowHOqs alphaEquivalence arithmeticAxioms autoKuts betaEquivalence cores defunction elimBound elimStats eliminate extensionality ginteractive gradual linear maxPartSize metadata minPartSize minimalSol minimize minimizeKs minimizeQs nonLinCuts normalForm noslice parts rewriteAxioms save solver solverStats srcFile stats stringTheory} Language.Fixpoint.Types.Config.Eliminate{Language.Fixpoint.Types.Config.All Language.Fixpoint.Types.Config.None Language.Fixpoint.Types.Config.Some} Language.Fixpoint.Types.Config.SMTSolver{Language.Fixpoint.Types.Config.Cvc4 Language.Fixpoint.Types.Config.Mathsat Language.Fixpoint.Types.Config.Z3} module dependencies: Language.Fixpoint.Misc 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 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 located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve 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 stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM 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 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 import -/ base-4.9.1.0:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Data da440c60016500822a3d4307ca5dea66 import -/ base-4.9.1.0:Data.Typeable.Internal 0e9bdefa4325a0112d8e73b5e1e1f85d import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.Environment 08cb808e8e6a7821e6f8cfa76a977431 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e:Data.Serialize bfa0e727b662cbdba896c0b5c0142f5d import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs b8538e92b364d6a158477118fc57630c import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Default db3048799659f86c89d7022f4042930e import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit 3e21d6e6abe487e954058d85de5c8d83 import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Type 71257f1378c9da3489feb3286843132c import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Implicit f1cdf6eb9ae22b9f15f4b2f546f66acb import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Implicit.Type 5416f3497e5ee27792dc655ee7fdf118 import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Implicit.UI 84f7abc6a12daefb1e40006291cb96fa import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ Language.Fixpoint.Utils.Files be394d70e321a20df414eb3c7ce0cdfa exports: ebb433e6c2d1f5ff63bc5cc6b8ec3d71 Ext 43a934586c00b90d3cddd8e1949d2789 extFileName fa6146d752c8253fcb879f499d605b0f a1e0868924a10a6ced01485926d4ec1f $fDataConfig :: Data.Data.Data Language.Fixpoint.Types.Config.Config DFunId 1f86afe417402d8a9e66cd2c487e493e $fDataEliminate :: Data.Data.Data Language.Fixpoint.Types.Config.Eliminate DFunId 93345d1901fd7830cde09760d16e98f4 $fDataSMTSolver :: Data.Data.Data Language.Fixpoint.Types.Config.SMTSolver DFunId a1e0868924a10a6ced01485926d4ec1f $fDefaultConfig :: System.Console.CmdArgs.Default.Default Language.Fixpoint.Types.Config.Config DFunId 1f86afe417402d8a9e66cd2c487e493e $fDefaultEliminate :: System.Console.CmdArgs.Default.Default Language.Fixpoint.Types.Config.Eliminate DFunId 93345d1901fd7830cde09760d16e98f4 $fDefaultSMTSolver :: System.Console.CmdArgs.Default.Default Language.Fixpoint.Types.Config.SMTSolver DFunId a1e0868924a10a6ced01485926d4ec1f $fEqConfig :: GHC.Classes.Eq Language.Fixpoint.Types.Config.Config DFunId 1f86afe417402d8a9e66cd2c487e493e $fEqEliminate :: GHC.Classes.Eq Language.Fixpoint.Types.Config.Eliminate DFunId 93345d1901fd7830cde09760d16e98f4 $fEqSMTSolver :: GHC.Classes.Eq Language.Fixpoint.Types.Config.SMTSolver DFunId a1e0868924a10a6ced01485926d4ec1f $fGenericConfig :: GHC.Generics.Generic Language.Fixpoint.Types.Config.Config DFunId 1f86afe417402d8a9e66cd2c487e493e $fGenericEliminate :: GHC.Generics.Generic Language.Fixpoint.Types.Config.Eliminate DFunId 93345d1901fd7830cde09760d16e98f4 $fGenericSMTSolver :: GHC.Generics.Generic Language.Fixpoint.Types.Config.SMTSolver DFunId 1f86afe417402d8a9e66cd2c487e493e $fSerializeEliminate :: Data.Serialize.Serialize Language.Fixpoint.Types.Config.Eliminate DFunId a1e0868924a10a6ced01485926d4ec1f $fShowConfig :: GHC.Show.Show Language.Fixpoint.Types.Config.Config DFunId 1f86afe417402d8a9e66cd2c487e493e $fShowEliminate :: GHC.Show.Show Language.Fixpoint.Types.Config.Eliminate DFunId 93345d1901fd7830cde09760d16e98f4 $fShowSMTSolver :: GHC.Show.Show Language.Fixpoint.Types.Config.SMTSolver DFunId 4b46a69471105d8cda535b35af42ada9 $tc'All :: GHC.Types.TyCon d73fa373c2662b7bd4c6fb9ce43c10a1 $tc'Config :: GHC.Types.TyCon 93bef19c4508dcc0eab87742e17bbb89 $tc'Cvc4 :: GHC.Types.TyCon 348e5488fb382358e287b443911b6881 $tc'Mathsat :: GHC.Types.TyCon f1a537bd76b427b084a9dfbbd0482ceb $tc'None :: GHC.Types.TyCon 776551796ae6bc9155e52166a2522562 $tc'Some :: GHC.Types.TyCon c5f25636661f7978e23ec173f6da6d23 $tc'Z3 :: GHC.Types.TyCon 5fd17be1a9a8aee6f072b3c5ff440127 $tcConfig :: GHC.Types.TyCon 177f5d09277485cecb0333998818f23e $tcEliminate :: GHC.Types.TyCon 41c9ef651c12cdc90a604c2ed9865b51 $tcSMTSolver :: GHC.Types.TyCon 13c82d433f4731907db992d04caf74f7 $trModule :: GHC.Types.Module a1e0868924a10a6ced01485926d4ec1f data Config = Config {srcFile :: GHC.IO.FilePath, cores :: GHC.Base.Maybe GHC.Types.Int, minPartSize :: GHC.Types.Int, maxPartSize :: GHC.Types.Int, solver :: Language.Fixpoint.Types.Config.SMTSolver, linear :: GHC.Types.Bool, stringTheory :: GHC.Types.Bool, defunction :: GHC.Types.Bool, allowHO :: GHC.Types.Bool, allowHOqs :: GHC.Types.Bool, eliminate :: Language.Fixpoint.Types.Config.Eliminate, elimBound :: GHC.Base.Maybe GHC.Types.Int, elimStats :: GHC.Types.Bool, solverStats :: GHC.Types.Bool, metadata :: GHC.Types.Bool, stats :: GHC.Types.Bool, parts :: GHC.Types.Bool, save :: GHC.Types.Bool, minimize :: GHC.Types.Bool, minimizeQs :: GHC.Types.Bool, minimizeKs :: GHC.Types.Bool, minimalSol :: GHC.Types.Bool, gradual :: GHC.Types.Bool, ginteractive :: GHC.Types.Bool, extensionality :: GHC.Types.Bool, alphaEquivalence :: GHC.Types.Bool, betaEquivalence :: GHC.Types.Bool, normalForm :: GHC.Types.Bool, autoKuts :: GHC.Types.Bool, nonLinCuts :: GHC.Types.Bool, noslice :: GHC.Types.Bool, rewriteAxioms :: GHC.Types.Bool, arithmeticAxioms :: GHC.Types.Bool} 1f86afe417402d8a9e66cd2c487e493e data Eliminate = None | Some | All a1e0868924a10a6ced01485926d4ec1f axiom Rep_Config:: GHC.Generics.Rep Language.Fixpoint.Types.Config.Config = GHC.Generics.D1 ('GHC.Generics.MetaData "Config" "Language.Fixpoint.Types.Config" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Config" 'GHC.Generics.PrefixI 'GHC.Types.True) (((((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "srcFile") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.IO.FilePath) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cores") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (GHC.Base.Maybe GHC.Types.Int))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "minPartSize") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Int) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "maxPartSize") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Int))) GHC.Generics.:*: ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "solver") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Config.SMTSolver) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "linear") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "stringTheory") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "defunction") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)))) GHC.Generics.:*: (((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "allowHO") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "allowHOqs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "eliminate") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 Language.Fixpoint.Types.Config.Eliminate) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "elimBound") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (GHC.Base.Maybe GHC.Types.Int)))) GHC.Generics.:*: ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "elimStats") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "solverStats") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "metadata") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "stats") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool))))) GHC.Generics.:*: ((((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "parts") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "save") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "minimize") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "minimizeQs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool))) GHC.Generics.:*: ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "minimizeKs") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "minimalSol") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "gradual") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "ginteractive") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)))) GHC.Generics.:*: (((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "extensionality") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "alphaEquivalence") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "betaEquivalence") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "normalForm") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool))) GHC.Generics.:*: ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "autoKuts") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "nonLinCuts") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "noslice") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "rewriteAxioms") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "arithmeticAxioms") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool)))))))) 1f86afe417402d8a9e66cd2c487e493e axiom Rep_Eliminate:: GHC.Generics.Rep Language.Fixpoint.Types.Config.Eliminate = GHC.Generics.D1 ('GHC.Generics.MetaData "Eliminate" "Language.Fixpoint.Types.Config" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "None" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Some" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "All" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1)) 93345d1901fd7830cde09760d16e98f4 axiom Rep_SMTSolver:: GHC.Generics.Rep Language.Fixpoint.Types.Config.SMTSolver = GHC.Generics.D1 ('GHC.Generics.MetaData "SMTSolver" "Language.Fixpoint.Types.Config" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Z3" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Cvc4" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Mathsat" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1)) 93345d1901fd7830cde09760d16e98f4 data SMTSolver = Z3 | Cvc4 | Mathsat 587e1116b380ba07215a8e210d9d1e83 allowHO :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config afdc1dd2f7fcb7d6d4968e887fc5dd4a allowHOqs :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 8b32e19e8cf76d27d57c3d0da1fa7fbd alphaEquivalence :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 215a258bad1ff863043f2851848b191e arithmeticAxioms :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config f34beeb51b3dc27c0ada0efee46df79c autoKuts :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 37d7b14df12e1f1854a976787f91686e betaEquivalence :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 9e1d1282593d99872b0e242ecd6b85a1 cores :: Language.Fixpoint.Types.Config.Config -> GHC.Base.Maybe GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 94d4faec9ce09dd974edffb60719c1fa defConfig :: Language.Fixpoint.Types.Config.Config 01c8df6505c37e1266cf2388b56ee97f defaultMaxPartSize :: GHC.Types.Int 614a786001564308d3655679a134cfdf defaultMinPartSize :: GHC.Types.Int 3f722f3a6a74e2592f711e9ec29d301d defunction :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config b5705a9995023ef4e85dd38d2ddffb4b elimBound :: Language.Fixpoint.Types.Config.Config -> GHC.Base.Maybe GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config eb52558f260d55674ace8ff7b00b2ab0 elimStats :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 8515331fd0fe3873f3fef011f2647a2f eliminate :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Config.Eliminate RecSel Left Language.Fixpoint.Types.Config.Config 6ccd7e8b81c857809b2013059075484d extensionality :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 6afac90dd5e275600cf8908d772adbcc getOpts :: GHC.Types.IO Language.Fixpoint.Types.Config.Config d961784b02b8ae8f92d093d19eaf386e ginteractive :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 97fcb53f5d2bfb56746749a1c19ed166 gradual :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 1b364837dab21dd9c2686ec354578fca linear :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 410003e059e9f41393febd062b02471c maxPartSize :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 1b7aaf3b3ab93a7c1fcb855d9c48dcb1 metadata :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config ccfc03d9a015aa0085db642f29411517 minPartSize :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 0bfca8b690e19b0c3f6c2f22ad31818d minimalSol :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config f163a0aef3dac715cfcd2da25736e889 minimize :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config a0cf428ccbf6fa9e97b4f5deda4cd5f0 minimizeKs :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 7deb79d9e3a1253ca0155cd49c4ec264 minimizeQs :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 6b0e90398e6f7f6a7d5015a9f25529ac multicore :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool 6e1ec2785b773ea48276abe4c5403907 nonLinCuts :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config a5bf652c51289923a3d53964084fb14a normalForm :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 73408a029a6a6918a6ff2ef907b6592a noslice :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 7d7ac099de8eb5f90f45fec7b3266f14 parts :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config a3de8e7a9edce3ecfb4556e8785fc343 queryFile :: Language.Fixpoint.Utils.Files.Ext -> Language.Fixpoint.Types.Config.Config -> GHC.IO.FilePath ef8f26bd02d0532a0d8374ca783e7d31 rewriteAxioms :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 7e102e42eaf762813d641e62cf0f5ef8 save :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 8dd3b34280e2105e908f36fa7ee8fb48 solver :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Config.SMTSolver RecSel Left Language.Fixpoint.Types.Config.Config 85d7601f41d0e27d317169607f910470 solverStats :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 9cbdb1bb3ab4e3e3e684e76b41b0d807 srcFile :: Language.Fixpoint.Types.Config.Config -> GHC.IO.FilePath RecSel Left Language.Fixpoint.Types.Config.Config 2c033ec27663db66462bf5111c580072 stats :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config f69c76b719b11e263d4646cf354e87b8 stringTheory :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 06a9ca7697040657beee19dc5e1dca70 useElim :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool 2177da741dbd3206dd67d9cc5e9906db withPragmas :: Language.Fixpoint.Types.Config.Config -> [GHC.Base.String] -> GHC.Types.IO Language.Fixpoint.Types.Config.Config instance Data.Data.Data [Language.Fixpoint.Types.Config.Config] = Language.Fixpoint.Types.Config.$fDataConfig instance Data.Data.Data [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.$fDataEliminate instance Data.Data.Data [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Config.$fDataSMTSolver instance System.Console.CmdArgs.Default.Default [Language.Fixpoint.Types.Config.Config] = Language.Fixpoint.Types.Config.$fDefaultConfig instance System.Console.CmdArgs.Default.Default [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.$fDefaultEliminate instance System.Console.CmdArgs.Default.Default [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Config.$fDefaultSMTSolver instance GHC.Classes.Eq [Language.Fixpoint.Types.Config.Config] = Language.Fixpoint.Types.Config.$fEqConfig instance GHC.Classes.Eq [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.$fEqEliminate instance GHC.Classes.Eq [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Config.$fEqSMTSolver instance GHC.Generics.Generic [Language.Fixpoint.Types.Config.Config] = Language.Fixpoint.Types.Config.$fGenericConfig instance GHC.Generics.Generic [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.$fGenericEliminate instance GHC.Generics.Generic [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Config.$fGenericSMTSolver instance Data.Serialize.Serialize [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.$fSerializeEliminate instance GHC.Show.Show [Language.Fixpoint.Types.Config.Config] = Language.Fixpoint.Types.Config.$fShowConfig instance GHC.Show.Show [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.$fShowEliminate instance GHC.Show.Show [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Config.$fShowSMTSolver family instance GHC.Generics.Rep [Language.Fixpoint.Types.Config.Config] = Language.Fixpoint.Types.Config.Rep_Config family instance GHC.Generics.Rep [Language.Fixpoint.Types.Config.Eliminate] = Language.Fixpoint.Types.Config.Rep_Eliminate family instance GHC.Generics.Rep [Language.Fixpoint.Types.Config.SMTSolver] = Language.Fixpoint.Types.Config.Rep_SMTSolver vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False