==================== FINAL INTERFACE ==================== 2019-09-22 14:52:52.654508 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Solver.Monad [family instance module] 8065 interface hash: 842c6054b0bfe291642371af683fcab3 ABI hash: 4fa9d18e3355b76fbdd68cad34b1f148 export-list hash: cbbad5f300cf7cd33080e8b093a602f7 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 4555ac17765186b9550951f409e132f6 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Solver.Monad.checkSat Language.Fixpoint.Solver.Monad.filterRequired Language.Fixpoint.Solver.Monad.filterValid Language.Fixpoint.Solver.Monad.filterValidGradual Language.Fixpoint.Solver.Monad.getBinds Language.Fixpoint.Solver.Monad.runSolverM Language.Fixpoint.Solver.Monad.smtEnablembqi Language.Fixpoint.Solver.Monad.stats Language.Fixpoint.Solver.Monad.tickIter Language.Fixpoint.Solver.Monad.SolveM Language.Fixpoint.Solver.Monad.Stats{numIter} module dependencies: Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types Language.Fixpoint.Misc Language.Fixpoint.Smt.Interface Language.Fixpoint.Smt.Serialize Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.Solver.Sanitize Language.Fixpoint.SortCheck 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.Solutions 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 Language.Fixpoint.Utils.Progress Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 ascii-progress-0.3.3.0 async-2.2.1 attoparsec-0.13.2.2 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 concurrent-output-1.10.9 containers-0.6.0.1 data-default-0.7.1.1 data-default-class-0.1.2.0 data-default-instances-containers-0.0.1 data-default-instances-dlist-0.0.1 data-default-instances-old-locale-0.0.1 deepseq-1.4.4.0 directory-1.3.3.0 dlist-0.8.0.6 double-conversion-2.0.2.0 exceptions-0.10.2 fgl-5.7.0.1 filepath-1.4.2.1 ghc-boot-th-8.6.5 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 integer-logarithms-1.0.3 intern-0.9.2 mtl-2.2.2 old-locale-1.0.0.7 parsec-3.1.13.0 pretty-1.1.3.6 primitive-0.6.4.0 process-1.6.5.0 scientific-0.3.6.2 split-0.2.3.3 stm-2.5.0.0 syb-0.7 template-haskell-2.14.0.0 terminal-size-0.3.2.1 text-1.2.3.1 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: data-default-instances-containers-0.0.1:Data.Default.Instances.Containers data-default-instances-dlist-0.0.1:Data.Default.Instances.DList data-default-instances-old-locale-0.0.1:Data.Default.Instances.OldLocale liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Serialize attoparsec-0.13.2.2:Data.Attoparsec.Text.Internal liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories 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 transformers-0.5.6.2:Control.Monad.Trans.Error 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: attoparsec-0.13.2.2:Data.Attoparsec.Internal.Types 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 dlist-0.8.0.6:Data.DList fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree ghc-boot-th-8.6.5:GHC.ForeignSrcLang.Type ghc-boot-th-8.6.5:GHC.LanguageExtensions.Type intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.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.Solutions 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 primitive-0.6.4.0:Control.Monad.Primitive primitive-0.6.4.0:Data.Primitive.Array template-haskell-2.14.0.0:Language.Haskell.TH.Syntax terminal-size-0.3.2.1:System.Console.Terminal.Common 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.Exception.Base 28f76dc5daa23d33c2b03285506ae9fc import -/ base-4.12.0.0:Control.Monad 07eaec7fd256019b318d048d00f45b1c 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.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e 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.Generics 2b3b2e72be66983021f8ad0c2edcf290 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 -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3 exports: 68162b3a5b2b3dfa40ecf54da514ced3 SolverInfo 9a73d9e092f73b37b6476ae70547e961 siQuery 9a73d9e092f73b37b6476ae70547e961 import -/ Language.Fixpoint.Smt.Interface ee0737b56914b95eb563867307fa7dad exports: 34c9dd9681ad7de62fb07b614e95fb75 cleanupContext 511b45c7e002c2142e0dcb9cff2e2ea6 makeContextWithSEnv 4644204706da05ed92e94ab6343a856b smtAssert 335106faf7ebb07edc676359058f2360 smtAssertAxiom 7b6baf9122bc1a4105ff32731a718749 smtBracket 565d62dc2109372f4f4dd1533806693b smtBracketAt 01349403f3c6d5c8e2a6417da8fe09e9 smtCheckSat 7642e6380fd15013f1ead086b29ff4eb smtCheckUnsat fc53c261336b1d25851b51fbb5b6b6de smtWrite 0b22fef9448643aa6bba1e68bd00e739 import -/ Language.Fixpoint.Smt.Serialize 7305b271952ce328cf0ab77b85d8d3d3 exports: 5e1d313517b98758471045ea4f3116b5 import -/ Language.Fixpoint.Smt.Types 30a3f200618617e4fc3b128e7ad80e5a Context 372fcf0b6b50436d0652b44de8ce661a import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d exports: 09f539552af63f8cdd1953f939eb3211 symbolEnv e9ab0691e8ecbe0102273ed657a09d59 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 allowHO 3988ec36858b82afed711ea7ff67ff00 allowHOqs 3988ec36858b82afed711ea7ff67ff00 srcFile 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 GInfo 90ef96c47f269969affd7c3639af34f3 HOI 68f422d6ea171a28a321a9a91713893b asserts 90ef96c47f269969affd7c3639af34f3 bs 90ef96c47f269969affd7c3639af34f3 cm 90ef96c47f269969affd7c3639af34f3 hoInfo 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 DocTable b770cb7429f7fb2e003768f2afd382a6 PTable e8b4bbc42515b2faadf940cf2792c24b pprint 955dc9d031db587300edf6146ac33be4 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc Expr 58dd7eff6040aa97f060415235c6cb01 PNot dd52d33c67ccd94ba2b9bc2daaf6153f import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971 exports: afa649b912ca2c885ac627d761c55201 Cand a4ed89272bedad700786bb7d38e14a02 import -/ Language.Fixpoint.Types.Spans df3b309e6511df6300a1db0ccd338062 SrcSpan 30cdf4122b891cc575df90039bdcbecb import -/ Language.Fixpoint.Types.Triggers 8abd2355db756b37b9b5fb3b0ce44e32 Triggered d4e347d662ffae46e19beccd9e71f8e0 import -/ Language.Fixpoint.Utils.Progress 826d6a56464397a59b3a0f2598d33de7 exports: 6850e83719e0c11e0074fbcdfbd4871d progressTick 0ccb985e47cb835d2bf679c5ff93fb6b import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418 import -/ mtl-2.2.2:Control.Monad.State.Strict 002b59b64e6c924e7580467701dff139 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ transformers-0.5.6.2:Control.Monad.Trans.Class ce71df227db199c1d525fc0992381112 import -/ transformers-0.5.6.2:Control.Monad.Trans.State.Strict acaa441e4b4c8edd4a30c00b2a2d825f import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 42fedfdc071709d67d222a46255e1c72 $fGenericStats :: GHC.Generics.Generic Language.Fixpoint.Solver.Monad.Stats DFunId 42fedfdc071709d67d222a46255e1c72 $fNFDataStats :: Control.DeepSeq.NFData Language.Fixpoint.Solver.Monad.Stats DFunId 42fedfdc071709d67d222a46255e1c72 $fPTableStats :: Language.Fixpoint.Types.PrettyPrint.PTable Language.Fixpoint.Solver.Monad.Stats DFunId 42fedfdc071709d67d222a46255e1c72 $fShowStats :: GHC.Show.Show Language.Fixpoint.Solver.Monad.Stats DFunId aa5ee68c1cf18877f05f719ac9262a21 $tc'SS :: GHC.Types.TyCon 85b9aa08c465b23c98dc23cf3ef62f28 $tc'Stats :: GHC.Types.TyCon 63336e7cae0d94ecd51011b77daffc0d $tcSolverState :: GHC.Types.TyCon cbbde06af086e2003b916da92cee3e92 $tcStats :: GHC.Types.TyCon 16415c5fdc9692fcad9ad98a412d594d $trModule :: GHC.Types.Module 42fedfdc071709d67d222a46255e1c72 axiom Language.Fixpoint.Solver.Monad.Rep_Stats:: GHC.Generics.Rep Language.Fixpoint.Solver.Monad.Stats = GHC.Generics.D1 ('GHC.Generics.MetaData "Stats" "Language.Fixpoint.Solver.Monad" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "numCstr") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "numIter") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int)) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "numBrkt") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "numChck") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "numVald") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Int))))) 9f70ee3ebfa8014fd2d8389a4fe0275c type SolveM = Control.Monad.Trans.State.Strict.StateT Language.Fixpoint.Solver.Monad.SolverState GHC.Types.IO :: * -> * 6d672eb469c30df8e469baf0099d862a data SolverState = SS {ssCtx :: !Language.Fixpoint.Smt.Types.Context, ssBinds :: !Language.Fixpoint.Types.Environments.BindEnv, ssStats :: !Language.Fixpoint.Solver.Monad.Stats} 42fedfdc071709d67d222a46255e1c72 data Stats = Stats {numCstr :: !GHC.Types.Int, numIter :: !GHC.Types.Int, numBrkt :: !GHC.Types.Int, numChck :: !GHC.Types.Int, numVald :: !GHC.Types.Int} d61c57b1c1266d99e4fbbd9b00163a99 checkSat :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Solver.Monad.SolveM GHC.Types.Bool 4d6e621245120d32bbab31e310ef22f5 filterRequired :: Language.Fixpoint.Types.Solutions.Cand a -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Solver.Monad.SolveM [a] a57a9639f6d4cdfdbf97921cc9454fae filterValid :: Language.Fixpoint.Types.Spans.SrcSpan -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Solutions.Cand a -> Language.Fixpoint.Solver.Monad.SolveM [a] 1401b425f4ed9aad1a497f49de3b847a filterValidGradual :: [Language.Fixpoint.Types.Refinements.Expr] -> Language.Fixpoint.Types.Solutions.Cand a -> Language.Fixpoint.Solver.Monad.SolveM [a] 29e1be431d0565029f7e97cb7c3d8f02 getBinds :: Language.Fixpoint.Solver.Monad.SolveM Language.Fixpoint.Types.Environments.BindEnv 42fedfdc071709d67d222a46255e1c72 numBrkt :: Language.Fixpoint.Solver.Monad.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Monad.Stats 42fedfdc071709d67d222a46255e1c72 numChck :: Language.Fixpoint.Solver.Monad.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Monad.Stats 42fedfdc071709d67d222a46255e1c72 numCstr :: Language.Fixpoint.Solver.Monad.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Monad.Stats 42fedfdc071709d67d222a46255e1c72 numIter :: Language.Fixpoint.Solver.Monad.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Monad.Stats 42fedfdc071709d67d222a46255e1c72 numVald :: Language.Fixpoint.Solver.Monad.Stats -> GHC.Types.Int RecSel Left Language.Fixpoint.Solver.Monad.Stats d273fd2e2826bdfa1e1d3e9d50f84631 runSolverM :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Graph.Types.SolverInfo b c -> Language.Fixpoint.Solver.Monad.SolveM a -> GHC.Types.IO a 63d8189f82e7007d2672e84d540913ed smtEnablembqi :: Language.Fixpoint.Solver.Monad.SolveM () 6d672eb469c30df8e469baf0099d862a ssBinds :: Language.Fixpoint.Solver.Monad.SolverState -> Language.Fixpoint.Types.Environments.BindEnv RecSel Left Language.Fixpoint.Solver.Monad.SolverState 6d672eb469c30df8e469baf0099d862a ssCtx :: Language.Fixpoint.Solver.Monad.SolverState -> Language.Fixpoint.Smt.Types.Context RecSel Left Language.Fixpoint.Solver.Monad.SolverState 6d672eb469c30df8e469baf0099d862a ssStats :: Language.Fixpoint.Solver.Monad.SolverState -> Language.Fixpoint.Solver.Monad.Stats RecSel Left Language.Fixpoint.Solver.Monad.SolverState f42c912b98f941d319073be99ff455d4 stats :: Language.Fixpoint.Solver.Monad.SolveM Language.Fixpoint.Solver.Monad.Stats b4b94f6e9cf5872a22c95ac946b5a35c tickIter :: GHC.Types.Bool -> Language.Fixpoint.Solver.Monad.SolveM GHC.Types.Int instance GHC.Generics.Generic [Language.Fixpoint.Solver.Monad.Stats] = Language.Fixpoint.Solver.Monad.$fGenericStats instance Control.DeepSeq.NFData [Language.Fixpoint.Solver.Monad.Stats] = Language.Fixpoint.Solver.Monad.$fNFDataStats instance Language.Fixpoint.Types.PrettyPrint.PTable [Language.Fixpoint.Solver.Monad.Stats] = Language.Fixpoint.Solver.Monad.$fPTableStats instance GHC.Show.Show [Language.Fixpoint.Solver.Monad.Stats] = Language.Fixpoint.Solver.Monad.$fShowStats family instance GHC.Generics.Rep [Language.Fixpoint.Solver.Monad.Stats] = Language.Fixpoint.Solver.Monad.Rep_Stats trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: