==================== FINAL INTERFACE ==================== 2019-09-22 14:52:23.613263 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config [family instance module] 8065 interface hash: 3f7b130bf9f11e601f652cc352947f9c ABI hash: 134020671d47a57ffc8e89be204594cd export-list hash: b55741973d8e26ddd46c69a42379ac12 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 9f62fe5091d8f4dcb0d5c055dbb92a33 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 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 autoKuts checkCstr cores defunction elimBound elimStats eliminate ginteractive gradual linear maxPartSize metadata minPartSize minimalSol minimize minimizeKs minimizeQs noIncrPle nonLinCuts noslice parts rewriteAxioms save smtTimeout solver solverStats srcFile stats stringTheory} Language.Fixpoint.Types.Config.Eliminate{Language.Fixpoint.Types.Config.All Language.Fixpoint.Types.Config.Existentials Language.Fixpoint.Types.Config.Horn 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 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 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 pretty-1.1.3.6 process-1.6.5.0 stm-2.5.0.0 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: cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help 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 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:Control.Monad 07eaec7fd256019b318d048d00f45b1c import -/ base-4.12.0.0:Data.Data 2949b01dc3799f9122535900668dfcef import -/ base-4.12.0.0:Data.Typeable.Internal e1cb15df401654131814917774d4d7ed import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.IO 898d4ddbf00eb4732e5f462760aa42ae import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.Environment c54e0d0308e729fdace6bc37aa74bb52 import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ cereal-0.5.8.0:Data.Serialize 46eea0b64631e6bfa7ec81b0118ba8ea import -/ cmdargs-0.10.20:System.Console.CmdArgs 19dedba87b47197c96828c0365e583cf import -/ cmdargs-0.10.20:System.Console.CmdArgs.Default eed1b1f2b7d50a523b0b36063801ecd5 import -/ cmdargs-0.10.20:System.Console.CmdArgs.Explicit 41066b25ad8f781762473e92ff1a6089 import -/ cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Type f1e2bc98074b9c47c11598b938942657 import -/ cmdargs-0.10.20:System.Console.CmdArgs.Implicit 62643fcb812d1a7e40f59efaa2269064 import -/ cmdargs-0.10.20:System.Console.CmdArgs.Implicit.Type 2db0ed5e3b8783d3e78207b75a0255ec import -/ cmdargs-0.10.20:System.Console.CmdArgs.Implicit.UI cd7cc7225b3dfe7699aed78d9033cbcc 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.Utils.Files b2b779ebebf03f66af4a684b17d25d25 exports: 061e3dd63eb42c6c413f2db46ae3d0cb Ext 2200547bd69549ec4bc703e1fe4c80e1 extFileName 86adcb1270446909c1fa5137dc51787e 3988ec36858b82afed711ea7ff67ff00 $fDataConfig :: Data.Data.Data Language.Fixpoint.Types.Config.Config DFunId be2044875a0f03107ba04bae40380905 $fDataEliminate :: Data.Data.Data Language.Fixpoint.Types.Config.Eliminate DFunId 16932a7b6f7e2d9f5e812b1ebb37105a $fDataSMTSolver :: Data.Data.Data Language.Fixpoint.Types.Config.SMTSolver DFunId 3988ec36858b82afed711ea7ff67ff00 $fDefaultConfig :: System.Console.CmdArgs.Default.Default Language.Fixpoint.Types.Config.Config DFunId be2044875a0f03107ba04bae40380905 $fDefaultEliminate :: System.Console.CmdArgs.Default.Default Language.Fixpoint.Types.Config.Eliminate DFunId 16932a7b6f7e2d9f5e812b1ebb37105a $fDefaultSMTSolver :: System.Console.CmdArgs.Default.Default Language.Fixpoint.Types.Config.SMTSolver DFunId 3988ec36858b82afed711ea7ff67ff00 $fEqConfig :: GHC.Classes.Eq Language.Fixpoint.Types.Config.Config DFunId be2044875a0f03107ba04bae40380905 $fEqEliminate :: GHC.Classes.Eq Language.Fixpoint.Types.Config.Eliminate DFunId 16932a7b6f7e2d9f5e812b1ebb37105a $fEqSMTSolver :: GHC.Classes.Eq Language.Fixpoint.Types.Config.SMTSolver DFunId 3988ec36858b82afed711ea7ff67ff00 $fGenericConfig :: GHC.Generics.Generic Language.Fixpoint.Types.Config.Config DFunId be2044875a0f03107ba04bae40380905 $fGenericEliminate :: GHC.Generics.Generic Language.Fixpoint.Types.Config.Eliminate DFunId 16932a7b6f7e2d9f5e812b1ebb37105a $fGenericSMTSolver :: GHC.Generics.Generic Language.Fixpoint.Types.Config.SMTSolver DFunId be2044875a0f03107ba04bae40380905 $fSerializeEliminate :: Data.Serialize.Serialize Language.Fixpoint.Types.Config.Eliminate DFunId 3988ec36858b82afed711ea7ff67ff00 $fShowConfig :: GHC.Show.Show Language.Fixpoint.Types.Config.Config DFunId be2044875a0f03107ba04bae40380905 $fShowEliminate :: GHC.Show.Show Language.Fixpoint.Types.Config.Eliminate DFunId 16932a7b6f7e2d9f5e812b1ebb37105a $fShowSMTSolver :: GHC.Show.Show Language.Fixpoint.Types.Config.SMTSolver DFunId 6564350236912fef31117f604a84551b $tc'All :: GHC.Types.TyCon 0be746583368261002a426bbf5b1b93d $tc'Config :: GHC.Types.TyCon b608f6c466072ed9cd5331299d19c098 $tc'Cvc4 :: GHC.Types.TyCon bfec31a08055b97e2db80a042aecb180 $tc'Existentials :: GHC.Types.TyCon 8f9fd1a27bfe80440405331c045482d0 $tc'Horn :: GHC.Types.TyCon 28801bf6ffc8a2b77abdf1032f15aa89 $tc'Mathsat :: GHC.Types.TyCon 14735bbfbcac4271865c504f40a61f96 $tc'None :: GHC.Types.TyCon 360a76844214d6dbdb4a5745f57f2833 $tc'Some :: GHC.Types.TyCon 8ddba8acc5c0ac4986fe8919c0aa2b69 $tc'Z3 :: GHC.Types.TyCon f85bde642bf72d9388a136d1ceb167b4 $tcConfig :: GHC.Types.TyCon 5744fba42b8a83fa3bfa0d4bf72a5615 $tcEliminate :: GHC.Types.TyCon 6184315ea7a85919b77ad98ea091baba $tcSMTSolver :: GHC.Types.TyCon 7c88ec511deabffc846f197e4c684ac8 $trModule :: GHC.Types.Module 3988ec36858b82afed711ea7ff67ff00 data Config = Config {srcFile :: GHC.IO.FilePath, cores :: GHC.Maybe.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.Maybe.Maybe GHC.Types.Int, smtTimeout :: GHC.Maybe.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, autoKuts :: GHC.Types.Bool, nonLinCuts :: GHC.Types.Bool, noslice :: GHC.Types.Bool, rewriteAxioms :: GHC.Types.Bool, noIncrPle :: GHC.Types.Bool, checkCstr :: [GHC.Integer.Type.Integer]} be2044875a0f03107ba04bae40380905 data Eliminate = None | Some | All | Horn | Existentials 3988ec36858b82afed711ea7ff67ff00 axiom Language.Fixpoint.Types.Config.Rep_Config:: GHC.Generics.Rep Language.Fixpoint.Types.Config.Config = GHC.Generics.D1 ('GHC.Generics.MetaData "Config" "Language.Fixpoint.Types.Config" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Config" 'GHC.Generics.PrefixI 'GHC.Types.True) ((((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.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.Maybe.Just "cores") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (GHC.Maybe.Maybe GHC.Types.Int)) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.Just "elimBound") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (GHC.Maybe.Maybe GHC.Types.Int)) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "smtTimeout") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 (GHC.Maybe.Maybe GHC.Types.Int))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.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.Maybe.Just "noIncrPle") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 GHC.Types.Bool) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "checkCstr") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Integer.Type.Integer]))))))) be2044875a0f03107ba04bae40380905 axiom Language.Fixpoint.Types.Config.Rep_Eliminate:: GHC.Generics.Rep Language.Fixpoint.Types.Config.Eliminate = GHC.Generics.D1 ('GHC.Generics.MetaData "Eliminate" "Language.Fixpoint.Types.Config" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" '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 GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "Horn" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1 GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Existentials" 'GHC.Generics.PrefixI 'GHC.Types.False) GHC.Generics.U1))) 16932a7b6f7e2d9f5e812b1ebb37105a axiom Language.Fixpoint.Types.Config.Rep_SMTSolver:: GHC.Generics.Rep Language.Fixpoint.Types.Config.SMTSolver = GHC.Generics.D1 ('GHC.Generics.MetaData "SMTSolver" "Language.Fixpoint.Types.Config" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" '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)) 16932a7b6f7e2d9f5e812b1ebb37105a data SMTSolver = Z3 | Cvc4 | Mathsat 3988ec36858b82afed711ea7ff67ff00 allowHO :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 allowHOqs :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 autoKuts :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 checkCstr :: Language.Fixpoint.Types.Config.Config -> [GHC.Integer.Type.Integer] RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 cores :: Language.Fixpoint.Types.Config.Config -> GHC.Maybe.Maybe GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 81379fbee92553e9b51bd9070c7d0a5d defConfig :: Language.Fixpoint.Types.Config.Config 1ffe5deb3b331cfb40df44f0fdaf6568 defaultMaxPartSize :: GHC.Types.Int 8a2cdbd7b5392e1b55e79386d8acc5c5 defaultMinPartSize :: GHC.Types.Int 3988ec36858b82afed711ea7ff67ff00 defunction :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 elimBound :: Language.Fixpoint.Types.Config.Config -> GHC.Maybe.Maybe GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 elimStats :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 eliminate :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Config.Eliminate RecSel Left Language.Fixpoint.Types.Config.Config 762b865df917635133cfe2a2dc7a2118 getOpts :: GHC.Types.IO Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 ginteractive :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 gradual :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 linear :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 maxPartSize :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 metadata :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 minPartSize :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 minimalSol :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 minimize :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 minimizeKs :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 minimizeQs :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 69a77c1f2a1de6dfbff97d6e4292a39a multicore :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool 3988ec36858b82afed711ea7ff67ff00 noIncrPle :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 nonLinCuts :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 noslice :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 parts :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 24dfc95af04dba576b5be5b6594619e1 queryFile :: Language.Fixpoint.Utils.Files.Ext -> Language.Fixpoint.Types.Config.Config -> GHC.IO.FilePath 3988ec36858b82afed711ea7ff67ff00 rewriteAxioms :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 save :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 smtTimeout :: Language.Fixpoint.Types.Config.Config -> GHC.Maybe.Maybe GHC.Types.Int RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 solver :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Config.SMTSolver RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 solverStats :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 srcFile :: Language.Fixpoint.Types.Config.Config -> GHC.IO.FilePath RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 stats :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config 3988ec36858b82afed711ea7ff67ff00 stringTheory :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool RecSel Left Language.Fixpoint.Types.Config.Config eeb6968cb668f2bbdfd4cb15a73d4e11 useElim :: Language.Fixpoint.Types.Config.Config -> GHC.Types.Bool 7a2d56db26a96b6ec8ae137971b30663 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 trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: