==================== FINAL INTERFACE ==================== 2017-05-02 18:37:25.738379 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Utils.Statistics [family instance module] 8002 interface hash: 3d29c8f244e7db57f7a01eb18d5c8f98 ABI hash: a13613b1b407b566c4dfeffa954d6400 export-list hash: cb753336970f9e94042ff46d1d6e87c5 orphan hash: 189a3d8213ed16d8ef3830726df25bf1 flag hash: 1be090a857589f54a1976da57c3ecff4 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Utils.Statistics.statistics 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.Theories Language.Fixpoint.Smt.Types 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.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor 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 double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz 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 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 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 text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG 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-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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 transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error 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 fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Graph.Types liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf: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:Control.Arrow 70754b538e7d75521cd68162917b6946 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 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.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Real 82e4e59051a13dba1da63e1e970a69e6 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 -/ deepseq-1.4.2.0@deepseq-1.4.2.0:Control.DeepSeq 0a99763cf6016b16bbf55422778a79b2 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Graph 96b1659cd922559f07884eea5976fb53 exports: dad5544a3a41a5c3c772ca79356d39ad import -/ Language.Fixpoint.Graph.Partition a564ef7164aba59432a750fd2fa72ad6 partition' 968dd790e46c5ddf1a99a826058b1b68 import -/ Language.Fixpoint.Misc 268edc2be2657e56d9ac2e0e5f861c66 exports: 0d4209a369f77ae55113ca41b56281c2 Loud df42ce750f735e9386f34485e7fff5ef applyNonNull 303cbe5541e25fbd8cd11b7c15ff6310 donePhase 1cf4579b993fe9690101309d8b0cc613 import -/ Language.Fixpoint.Types 09d1039f1e0058408506d58eee0982ca exports: 91181ff2c29316a0420a9031c7b2d4bd import -/ Language.Fixpoint.Types.Config 163393aa566fa4479116d419651371d6 exports: 87e69df825248b6123b5720d7ef71a71 Config 0a1d3ab6981cc6a61194de16bb9f26fb import -/ Language.Fixpoint.Types.Constraints dc475bd125456ae511f39eb7bfb576f7 FInfo beb16efa76d83917c7875fd2371988e0 Result 1de0e7882069f13222c6effa6f71fad5 cm e96439d8256cfec0e43dbb4c8b7f9965 import -/ Language.Fixpoint.Types.PrettyPrint 9f8ba54128c047c2f5df631a58152645 exports: 8280ba96c3b943538085a23e8c114f93 PPrint f926efd2d44310d1ff99c4868d82bc97 pprint 3b1416a258327e319f3edde9b9e2d64e import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 2a78bf95de525c340269c30a394c00f8 $fGenericStats :: GHC.Generics.Generic Language.Fixpoint.Utils.Statistics.Stats DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Utils.Statistics.Stats Language.Fixpoint.Utils.Statistics.$fGenericStats_$cfrom Language.Fixpoint.Utils.Statistics.$fGenericStats_$cto -} 2a78bf95de525c340269c30a394c00f8 $fGenericStats1 :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)))) x {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ @ x (w :: Language.Fixpoint.Utils.Statistics.Stats) -> case w of ww { Language.Fixpoint.Utils.Statistics.Stats ww1 ww2 ww3 ww4 ww5 ww6 -> (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float))) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float))) @ x (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [GHC.Types.Float])) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)) @ x ww1 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P <[GHC.Types.Float]>_R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy>_P _R) _N)) (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [(GHC.Types.Float, GHC.Types.Int)])) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)) @ x ww2 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P <[(GHC.Types.Float, GHC.Types.Int)]>_R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy>_P _R) _N)) (GHC.Types.F# ww3) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R) _N)))) (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)) @ x (GHC.Types.F# ww4) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R) _N)) (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)) @ x (GHC.Types.F# ww5) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R) _N)) (GHC.Types.F# ww6) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R) _N))))) `cast` (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True>_P <(GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.K1 GHC.Generics.R [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R GHC.Types.Float)))>_R) _N) }) -} 2a78bf95de525c340269c30a394c00f8 $fGenericStats_$cfrom :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Generics.Rep Language.Fixpoint.Utils.Statistics.Stats x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Utils.Statistics.$fGenericStats1 `cast` (forall (x :: _N). _R ->_R Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R)) (Sub (Sym (Language.Fixpoint.Utils.Statistics.Rep_Stats[0]))) _N) -} 2a78bf95de525c340269c30a394c00f8 $fGenericStats_$cto :: GHC.Generics.Rep Language.Fixpoint.Utils.Statistics.Stats x -> Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ @ x (w :: GHC.Generics.Rep Language.Fixpoint.Utils.Statistics.Stats x) -> case w `cast` (Trans (Sub (Language.Fixpoint.Utils.Statistics.Rep_Stats[0])) (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True>_P <(GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float)))>_R)) _N) of ww { GHC.Generics.:*: ww1 ww2 -> case ww1 of ww3 { GHC.Generics.:*: ww4 ww5 -> case ww5 of ww6 { GHC.Generics.:*: ww7 ww8 -> case ww2 of ww9 { GHC.Generics.:*: ww10 ww11 -> case ww11 of ww12 { GHC.Generics.:*: ww13 ww14 -> case ww8 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) of dt { GHC.Types.F# dt1 -> case ww10 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) of dt2 { GHC.Types.F# dt3 -> case ww13 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) of dt4 { GHC.Types.F# dt5 -> case ww14 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) of dt6 { GHC.Types.F# dt7 -> Language.Fixpoint.Utils.Statistics.Stats ww4 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy>_P _R _N) (GHC.Generics.N:K1[0] _P <[GHC.Types.Float]>_R _P)) ww7 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy>_P _R _N) (GHC.Generics.N:K1[0] _P <[(GHC.Types.Float, GHC.Types.Int)]>_R _P)) dt1 dt3 dt5 dt7 } } } } } } } } }) -} 2a78bf95de525c340269c30a394c00f8 $fNFDataStats :: Control.DeepSeq.NFData Language.Fixpoint.Utils.Statistics.Stats DFunId {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Utils.Statistics.$fNFDataStats_$s$dmrnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) -} 535672b37465c91f44e6b9ee5fdd3065 $fNFDataStats1 :: Control.DeepSeq.GNFData (GHC.Generics.D1 ('GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float)))))) {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Utils.Statistics.$fNFDataStats2 `cast` (Sym (Control.DeepSeq.N:GNFData[0] _N _N)) -} 574641f13ce5b0584f0fc5ac4af3ded1 $fNFDataStats2 :: GHC.Generics.M1 GHC.Generics.D ('GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))))) a1 -> () {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ @ a1 (w :: GHC.Generics.M1 GHC.Generics.D ('GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))))) a1) -> case w `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True>_P <(GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float)))>_R) _N) of ww { GHC.Generics.:*: ww1 ww2 -> case ww1 of ww3 { GHC.Generics.:*: ww4 ww5 -> case ww5 of ww6 { GHC.Generics.:*: ww7 ww8 -> case ww2 of ww9 { GHC.Generics.:*: ww10 ww11 -> case ww11 of ww12 { GHC.Generics.:*: ww13 ww14 -> Language.Fixpoint.Utils.Statistics.$w$dGNFData @ a1 ww4 ww7 ww8 ww10 ww13 ww14 } } } } }) -} c8c73ce0085437f64d410019ccdc8201 $fNFDataStats3 :: (GHC.Types.Float, GHC.Types.Int) -> () {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: (GHC.Types.Float, GHC.Types.Int)) -> case ds of wild { (,) x y -> case x of ds1 { GHC.Types.F# ipv -> Control.DeepSeq.$fNFDataInt_$crnf y } }) -} 2a78bf95de525c340269c30a394c00f8 $fNFDataStats_$s$dmrnf :: Language.Fixpoint.Utils.Statistics.Stats -> () {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-3, True, False) (\ (eta :: Language.Fixpoint.Utils.Statistics.Stats) -> Language.Fixpoint.Utils.Statistics.$fNFDataStats1 `cast` (Control.DeepSeq.N:GNFData[0] _N (Sym (Language.Fixpoint.Utils.Statistics.Rep_Stats[0]))) @ GHC.Prim.Any (Language.Fixpoint.Utils.Statistics.$fGenericStats_$cfrom @ GHC.Prim.Any eta)) -} 2a78bf95de525c340269c30a394c00f8 $fPPrintStats :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Utils.Statistics.Stats DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Utils.Statistics.Stats Language.Fixpoint.Utils.Statistics.$fPPrintStats_$cpprintTidy Language.Fixpoint.Utils.Statistics.$fPPrintStats_$cpprintPrec -} 2a78bf95de525c340269c30a394c00f8 $fPPrintStats_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Utils.Statistics.Stats -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: Language.Fixpoint.Utils.Statistics.Stats) -> Language.Fixpoint.Utils.Statistics.$fPPrintStats_$cpprintTidy eta eta1) -} 2a78bf95de525c340269c30a394c00f8 $fPPrintStats_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Utils.Statistics.Stats -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, True) (\ (w :: Language.Fixpoint.Types.PrettyPrint.Tidy) (w1 :: Language.Fixpoint.Utils.Statistics.Stats) -> Language.Fixpoint.Utils.Statistics.$w$cpprintTidy w1) -} 2a78bf95de525c340269c30a394c00f8 $fShowStats :: GHC.Show.Show Language.Fixpoint.Utils.Statistics.Stats DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Utils.Statistics.Stats Language.Fixpoint.Utils.Statistics.$fShowStats_$cshowsPrec Language.Fixpoint.Utils.Statistics.$fShowStats_$cshow Language.Fixpoint.Utils.Statistics.$fShowStats_$cshowList -} 2a78bf95de525c340269c30a394c00f8 $fShowStats1 :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Show.ShowS {- Arity: 1, Unfolding: (\ (w :: Language.Fixpoint.Utils.Statistics.Stats) -> case w of ww { Language.Fixpoint.Utils.Statistics.Stats ww1 ww2 ww3 ww4 ww5 ww6 -> Language.Fixpoint.Utils.Statistics.$w$cshowsPrec 0# ww1 ww2 ww3 ww4 ww5 ww6 }) -} 2a78bf95de525c340269c30a394c00f8 $fShowStats_$cshow :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Base.String {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Utils.Statistics.Stats) -> Language.Fixpoint.Utils.Statistics.$fShowStats_$cshowsPrec GHC.Show.shows22 x (GHC.Types.[] @ GHC.Types.Char)) -} 2a78bf95de525c340269c30a394c00f8 $fShowStats_$cshowList :: [Language.Fixpoint.Utils.Statistics.Stats] -> GHC.Show.ShowS {- Arity: 2, Unfolding: (GHC.Show.showList__ @ Language.Fixpoint.Utils.Statistics.Stats Language.Fixpoint.Utils.Statistics.$fShowStats1) -} 2a78bf95de525c340269c30a394c00f8 $fShowStats_$cshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Utils.Statistics.Stats -> GHC.Show.ShowS {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Utils.Statistics.Stats) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Utils.Statistics.Stats ww3 ww4 ww5 ww6 ww7 ww8 -> Language.Fixpoint.Utils.Statistics.$w$cshowsPrec ww1 ww3 ww4 ww5 ww6 ww7 ww8 } }) -} d84722108be7709264b403612f26ea0d $s$fPPrint(,) :: Language.Fixpoint.Types.PrettyPrint.PPrint (GHC.Types.Float, GHC.Types.Int) {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (GHC.Types.Float, GHC.Types.Int) (Language.Fixpoint.Types.PrettyPrint.$fPPrint(,)_$cpprintTidy @ GHC.Types.Float @ GHC.Types.Int Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat Language.Fixpoint.Types.PrettyPrint.$fPPrintInt) Language.Fixpoint.Utils.Statistics.$s$fPPrint(,)_$s$fPPrint(,)_$cpprintPrec -} 04284ea3fd68862f2e7ffe5b704d4412 $s$fPPrint(,)_$s$fPPrint(,)_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> (GHC.Types.Float, GHC.Types.Int) -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, False) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta1 :: (GHC.Types.Float, GHC.Types.Int)) -> Language.Fixpoint.Types.PrettyPrint.$fPPrint(,)_$cpprintTidy @ GHC.Types.Float @ GHC.Types.Int Language.Fixpoint.Types.PrettyPrint.$fPPrintFloat Language.Fixpoint.Types.PrettyPrint.$fPPrintInt eta eta1) -} 7de20dfe63b277f0850258814a00485f $tc'Stats :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 6866275786177616929## 3215507976288736869## Language.Fixpoint.Utils.Statistics.$trModule Language.Fixpoint.Utils.Statistics.$tc'Stats1) -} 6c2c3295a5574b9ccde68d369bf8c548 $tc'Stats1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'Stats"#) -} 2663793a34e62eed0c609382f76d4938 $tcStats :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 7085458041283566380## 14403610781827513098## Language.Fixpoint.Utils.Statistics.$trModule Language.Fixpoint.Utils.Statistics.$tcStats1) -} f1fd9c1e192d70f95b325a6ced4edb11 $tcStats1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Stats"#) -} 4d2c8d97db283b147e4312d2258e7355 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Utils.Statistics.$trModule2 Language.Fixpoint.Utils.Statistics.$trModule1) -} 2c57cc454788f42567053f7537d51afb $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Utils.Statistics"#) -} 336d1bdc32a2402b23c83049eafebcd5 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} 2a78bf95de525c340269c30a394c00f8 $w$cpprintTidy :: Language.Fixpoint.Utils.Statistics.Stats -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: , Inline: [0] -} a2d185b5c45f52cb02d19469eb4aa8e4 $w$cshowsPrec :: GHC.Prim.Int# -> [GHC.Types.Float] -> [(GHC.Types.Float, GHC.Types.Int)] -> GHC.Prim.Float# -> GHC.Prim.Float# -> GHC.Prim.Float# -> GHC.Prim.Float# -> GHC.Show.ShowS {- Arity: 7, Strictness: , Inline: [0] -} af1bb4c73268f7de53b2a04f6f2553a3 $w$dGNFData :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) a1 -> GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) a1 -> GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1 -> GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1 -> GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1 -> GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1 -> () {- Arity: 6, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ @ a1 (ww :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) a1) (ww1 :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) a1) (ww2 :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1) (ww3 :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1) (ww4 :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1) (ww5 :: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) a1) -> case Control.DeepSeq.$fNFDataArray_$crnf1 @ GHC.Types.Float Control.DeepSeq.$fNFDataFloat_$crnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) ww `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy>_P _R _N) (GHC.Generics.N:K1[0] _P <[GHC.Types.Float]>_R _P)) of wild1 { () -> case Control.DeepSeq.$fNFDataArray_$crnf1 @ (GHC.Types.Float, GHC.Types.Int) Language.Fixpoint.Utils.Statistics.$fNFDataStats3 `cast` (Sym (Control.DeepSeq.N:NFData[0] <(GHC.Types.Float, GHC.Types.Int)>_N)) ww1 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy>_P _R _N) (GHC.Generics.N:K1[0] _P <[(GHC.Types.Float, GHC.Types.Int)]>_R _P)) of wild2 { () -> case ww2 of tpl { DEFAULT -> case ww3 of tpl1 { DEFAULT -> case ww4 of tpl2 { DEFAULT -> case ww5 of tpl3 { DEFAULT -> GHC.Tuple.() } } } } } }) -} 1a0bfd5595885fe3a484171fbcb9a36c $wgo :: [GHC.Types.Float] -> GHC.Prim.Float# -> GHC.Prim.Float# {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0] -} 0590b941cd64109b291a6a1375498918 $wgo1 :: [GHC.Types.Float] -> GHC.Prim.Float# -> GHC.Prim.Float# {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0] -} 615baceef8687a687dc0322c9fed263f $wgo2 :: [GHC.Types.Float] -> GHC.Prim.Float# -> GHC.Prim.Float# {- Arity: 2, HasNoCafRefs, Strictness: , Inline: [0] -} 9d64bff8a5a68bb60d9ed91deb043e4d $wstatistics :: Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a) #) {- Arity: 2, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: Language.Fixpoint.Types.Constraints.FInfo a) (w1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.IO.Handle.Text.hPutStr2 GHC.IO.Handle.FD.stdout (Text.PrettyPrint.Annotated.HughesPJ.fullRenderAnn @ () @ GHC.Base.String Text.PrettyPrint.Annotated.HughesPJ.PageMode Text.PrettyPrint.Annotated.HughesPJ.render3 Text.PrettyPrint.Annotated.HughesPJ.render2 Language.Fixpoint.Utils.Statistics.statistics5 (GHC.Types.[] @ GHC.Types.Char) (case Language.Fixpoint.Utils.Statistics.statistics4 @ a (Language.Fixpoint.Graph.Partition.partition' @ a (GHC.Base.Nothing @ Language.Fixpoint.Graph.Partition.MCInfo) w) of wild { [] -> Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe3 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) : ipv ipv1 -> case (Language.Fixpoint.Utils.Statistics.$w$cpprintTidy (case Language.Fixpoint.Utils.Statistics.$wgo2 wild 0.0# of ww { DEFAULT -> case Language.Fixpoint.Utils.Statistics.$wgo1 wild 0.0# of ww1 { DEFAULT -> case GHC.List.$wlenAcc @ GHC.Types.Float wild 0# of ww2 { DEFAULT -> case ipv of ww3 { GHC.Types.F# ww4 -> case Language.Fixpoint.Utils.Statistics.$wgo ipv1 ww4 of ww5 { DEFAULT -> case GHC.Prim.divideFloat# ww1 (GHC.Prim.int2Float# ww2) of wild2 { DEFAULT -> case GHC.Prim.divideFloat# ww ww5 of wild1 { DEFAULT -> Language.Fixpoint.Utils.Statistics.Stats wild (GHC.Base.map @ [GHC.Types.Float] @ (GHC.Types.Float, GHC.Types.Int) Language.Fixpoint.Utils.Statistics.statistics3 (Data.OldList.groupBy @ GHC.Types.Float GHC.Classes.eqFloat (Data.OldList.sortBy @ GHC.Types.Float GHC.Classes.$fOrdFloat_$ccompare wild))) ww wild2 ww5 wild1 } } } } } } })) `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild1 { DEFAULT -> case Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) of wild2 { DEFAULT -> Text.PrettyPrint.Annotated.HughesPJ.Beside @ () wild2 GHC.Types.True wild1 Text.PrettyPrint.Annotated.HughesPJ.Empty -> wild1 } Text.PrettyPrint.Annotated.HughesPJ.Empty -> Language.Fixpoint.Types.PrettyPrint.$fFixpointMaybe1 `cast` (Text.PrettyPrint.HughesPJ.N:Doc[0]) } })) GHC.Types.True w1 of ds1 { (#,#) ipv ipv1 -> case Language.Fixpoint.Misc.donePhase1 Language.Fixpoint.Misc.Loud Language.Fixpoint.Utils.Statistics.statistics2 ipv of ds2 { (#,#) ipv2 ipv3 -> (# ipv2, Language.Fixpoint.Types.Constraints.$fMonoidResult_$cmempty @ (GHC.Integer.Type.Integer, a) #) } }) -} 2a78bf95de525c340269c30a394c00f8 axiom Rep_Stats:: GHC.Generics.Rep Language.Fixpoint.Utils.Statistics.Stats = GHC.Generics.D1 ('GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 GHC.Types.Float))))) 2a78bf95de525c340269c30a394c00f8 data Stats = Stats {cSizes :: [GHC.Types.Float], cFreq :: [(GHC.Types.Float, GHC.Types.Int)], cTotal :: {-# UNPACK #-}GHC.Types.Float, cMean :: {-# UNPACK #-}GHC.Types.Float, cMax :: {-# UNPACK #-}GHC.Types.Float, cSpeed :: {-# UNPACK #-}GHC.Types.Float} 915e1b243c44fffeb7da5427923516b6 cFreq :: Language.Fixpoint.Utils.Statistics.Stats -> [(GHC.Types.Float, GHC.Types.Int)] RecSel Left Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Utils.Statistics.Stats) -> case ds of wild { Language.Fixpoint.Utils.Statistics.Stats ds1 ds2 dt dt1 dt2 dt3 -> ds2 }) -} 4e49d6a603d1fe06ef0e3635dc2b3f2b cMax :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Utils.Statistics.Stats) -> case ds of wild { Language.Fixpoint.Utils.Statistics.Stats ds1 ds2 dt dt1 dt2 dt3 -> GHC.Types.F# dt2 }) -} a3f1a23f0775012f52934edb00bcf948 cMean :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Utils.Statistics.Stats) -> case ds of wild { Language.Fixpoint.Utils.Statistics.Stats ds1 ds2 dt dt1 dt2 dt3 -> GHC.Types.F# dt1 }) -} ec0a975a3bf84a2c2793ac6aac52515b cSizes :: Language.Fixpoint.Utils.Statistics.Stats -> [GHC.Types.Float] RecSel Left Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Utils.Statistics.Stats) -> case ds of wild { Language.Fixpoint.Utils.Statistics.Stats ds1 ds2 dt dt1 dt2 dt3 -> ds1 }) -} c7d2658e23d6c76a72d428f013c2fe65 cSpeed :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Utils.Statistics.Stats) -> case ds of wild { Language.Fixpoint.Utils.Statistics.Stats ds1 ds2 dt dt1 dt2 dt3 -> GHC.Types.F# dt3 }) -} 38f52a8443f5e555d374970f2fcb9574 cTotal :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Utils.Statistics.Stats) -> case ds of wild { Language.Fixpoint.Utils.Statistics.Stats ds1 ds2 dt dt1 dt2 dt3 -> GHC.Types.F# dt }) -} c0f44f55507843032bac925b5998623d statistics :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a)) {- Arity: 3, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Utils.Statistics.statistics1 `cast` (forall (a :: <*>_N). _R ->_R _R ->_R Sym (GHC.Types.N:IO[0] _R)) -} dfab519a6ad9f1a3bb2863bae5f6fb19 statistics1 :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a) #) {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, True) (\ @ a (w :: Language.Fixpoint.Types.Config.Config) (w1 :: Language.Fixpoint.Types.Constraints.FInfo a) (w2 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> Language.Fixpoint.Utils.Statistics.$wstatistics @ a w1 w2) -} c97d39679c921e9b3833273a61395799 statistics2 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Statistics"#) -} af905134b570844bf07c8f65976f6b08 statistics3 :: [GHC.Types.Float] -> (GHC.Types.Float, GHC.Types.Int) {- Arity: 1, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (x :: [GHC.Types.Float]) -> (GHC.List.head @ GHC.Types.Float x, case GHC.List.$wlenAcc @ GHC.Types.Float x 0# of ww2 { DEFAULT -> GHC.Types.I# ww2 })) -} d328661b20e70628abb1d87d24f40e04 statistics4 :: [Language.Fixpoint.Types.Constraints.FInfo a] -> [GHC.Types.Float] {- Arity: 1, HasNoCafRefs, Strictness: -} a7b1e85e48e2041b31efe0985fd692df statistics5 :: Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails () -> GHC.Base.String -> GHC.Base.String {- Arity: 2, HasNoCafRefs, Unfolding: (\ (ds :: Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails ()) (eta :: GHC.Base.String)[OneShot] -> case ds of wild { DEFAULT -> eta Text.PrettyPrint.Annotated.HughesPJ.NoAnnot s5 dt1 -> case s5 of wild1 { Text.PrettyPrint.Annotated.HughesPJ.Chr dt -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# dt) eta Text.PrettyPrint.Annotated.HughesPJ.Str s6 -> GHC.Base.++ @ GHC.Types.Char s6 eta Text.PrettyPrint.Annotated.HughesPJ.PStr s6 -> GHC.Base.++ @ GHC.Types.Char s6 eta } }) -} instance GHC.Generics.Generic [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fGenericStats instance Control.DeepSeq.NFData [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fNFDataStats instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fPPrintStats instance GHC.Show.Show [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fShowStats family instance GHC.Generics.Rep [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.Rep_Stats "SPEC/Language.Fixpoint.Utils.Statistics $dmrnf @ Stats" [ALWAYS] forall ($dGNFData :: Control.DeepSeq.GNFData (GHC.Generics.Rep Language.Fixpoint.Utils.Statistics.Stats)) ($dGeneric :: GHC.Generics.Generic Language.Fixpoint.Utils.Statistics.Stats) ($dNFData :: Control.DeepSeq.NFData Language.Fixpoint.Utils.Statistics.Stats) Control.DeepSeq.$dmrnf @ Language.Fixpoint.Utils.Statistics.Stats $dNFData $dGeneric $dGNFData = Language.Fixpoint.Utils.Statistics.$fNFDataStats_$s$dmrnf "SPEC/Language.Fixpoint.Utils.Statistics $fPPrint(,) @ Float @ Int" [ALWAYS] forall ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Int) ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Float) Language.Fixpoint.Types.PrettyPrint.$fPPrint(,) @ GHC.Types.Float @ GHC.Types.Int $dPPrint $dPPrint1 = Language.Fixpoint.Utils.Statistics.$s$fPPrint(,) "SPEC/Language.Fixpoint.Utils.Statistics $fPPrint(,)_$cpprintPrec @ Float @ Int" [ALWAYS] forall ($dPPrint1 :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Int) ($dPPrint :: Language.Fixpoint.Types.PrettyPrint.PPrint GHC.Types.Float) Language.Fixpoint.Types.PrettyPrint.$fPPrint(,)_$cpprintPrec @ GHC.Types.Float @ GHC.Types.Int $dPPrint $dPPrint1 = Language.Fixpoint.Utils.Statistics.$s$fPPrint(,)_$s$fPPrint(,)_$cpprintPrec vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False