==================== FINAL INTERFACE ==================== 2017-05-08 17:10:58.254244 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names [orphan module] [family instance module] 8002 interface hash: 4432cd8ee2fd3e972c17cf85ceaa44f2 ABI hash: 79719145fadff03f061f9658911fa747 export-list hash: e209cabd872db433abfe12588fd0016b orphan hash: 323e060a93caec730eb62593d44f9121 flag hash: 92be7ce0fea13229700aa5eff1326897 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Names.anfPrefix Language.Fixpoint.Types.Names.bitVecApplyName Language.Fixpoint.Types.Names.bitVecName Language.Fixpoint.Types.Names.bitVecToIntName Language.Fixpoint.Types.Names.boolApplyName Language.Fixpoint.Types.Names.boolConName Language.Fixpoint.Types.Names.boolToIntName Language.Fixpoint.Types.Names.bvAndName Language.Fixpoint.Types.Names.bvOrName Language.Fixpoint.Types.Names.consName Language.Fixpoint.Types.Names.consSym Language.Fixpoint.Types.Names.divFuncName Language.Fixpoint.Types.Names.dropSym Language.Fixpoint.Types.Names.dummyName Language.Fixpoint.Types.Names.dummySymbol Language.Fixpoint.Types.Names.existSymbol Language.Fixpoint.Types.Names.funConName Language.Fixpoint.Types.Names.gradIntSymbol Language.Fixpoint.Types.Names.headSym Language.Fixpoint.Types.Names.intApplyName Language.Fixpoint.Types.Names.intArgName Language.Fixpoint.Types.Names.intSymbol Language.Fixpoint.Types.Names.isDummy Language.Fixpoint.Types.Names.isLitSymbol Language.Fixpoint.Types.Names.isNonSymbol Language.Fixpoint.Types.Names.isNontrivialVV Language.Fixpoint.Types.Names.isPrefixOfSym Language.Fixpoint.Types.Names.isSuffixOfSym Language.Fixpoint.Types.Names.kArgSymbol Language.Fixpoint.Types.Names.lambdaName Language.Fixpoint.Types.Names.lengthSym Language.Fixpoint.Types.Names.listConName Language.Fixpoint.Types.Names.listLConName Language.Fixpoint.Types.Names.litSymbol Language.Fixpoint.Types.Names.mapApplyName Language.Fixpoint.Types.Names.mapConName Language.Fixpoint.Types.Names.mapToIntName Language.Fixpoint.Types.Names.mulFuncName Language.Fixpoint.Types.Names.nilName Language.Fixpoint.Types.Names.nonSymbol Language.Fixpoint.Types.Names.preludeName Language.Fixpoint.Types.Names.prims Language.Fixpoint.Types.Names.realApplyName Language.Fixpoint.Types.Names.realToIntName Language.Fixpoint.Types.Names.renameSymbol Language.Fixpoint.Types.Names.setApplyName Language.Fixpoint.Types.Names.setConName Language.Fixpoint.Types.Names.setToIntName Language.Fixpoint.Types.Names.size32Name Language.Fixpoint.Types.Names.size64Name Language.Fixpoint.Types.Names.strConName Language.Fixpoint.Types.Names.stripPrefix Language.Fixpoint.Types.Names.suffixSymbol Language.Fixpoint.Types.Names.symChars Language.Fixpoint.Types.Names.symbolSafeString Language.Fixpoint.Types.Names.symbolSafeText Language.Fixpoint.Types.Names.symbolString Language.Fixpoint.Types.Names.symbolText Language.Fixpoint.Types.Names.symbolicString Language.Fixpoint.Types.Names.tempPrefix Language.Fixpoint.Types.Names.tempSymbol Language.Fixpoint.Types.Names.tidySymbol Language.Fixpoint.Types.Names.tupConName Language.Fixpoint.Types.Names.unLitSymbol Language.Fixpoint.Types.Names.unconsSym Language.Fixpoint.Types.Names.vv Language.Fixpoint.Types.Names.vvCon Language.Fixpoint.Types.Names.vvName Language.Fixpoint.Types.Names.LocSymbol Language.Fixpoint.Types.Names.LocText Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.Symbolic{Language.Fixpoint.Types.Names.symbol} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Spans package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 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 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans 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.Char 01433d23661edb6e5ef1536ef1e6774c import -/ base-4.9.1.0:Data.Data da440c60016500822a3d4307ca5dea66 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Data.String b34df69c7b6358cd40a379c8a0a78dcf import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:Data.Typeable 9257e47d10882145c67c5b489965cfb7 import -/ base-4.9.1.0:Data.Typeable.Internal 0e9bdefa4325a0112d8e73b5e1e1f85d import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary 68bf10cd9cced43ad785ce79fc9157c3 import -/ binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Class 74e43ac8c719b63390fb5224488bc2fa 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 -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable 7d10d34251a69a2590fb6d42e4140fe6 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Class 8a5b5f72682ff3e25541f7e85c3ab8dc import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned 5863f78e22c2d71ca922c6519fa795a0 import -/ intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal 2b432815dbe90537c6d0bc62a44bcd96 import -/ intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text 706cb854af55afb3e6a09b940cb48181 import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 Fixpoint ed2c9c62a916ec4b9fedf9553cd44702 PPrint 78b520d4c3718d2e8c30eba678b273b4 toFix d9f32a4a16e6f96a8d0d9b2cb68e0532 import -/ Language.Fixpoint.Types.Spans 1fc6b25ff5984c11eae379e71fc71312 exports: 464bc9758a033004e0503ec01433df74 Located 3776dcc969376081bef9e6f9cda8b19a val d4806808748b4175bb76acacd6ac41b8 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics ea99a8062a9608312218ffd7309b5391 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text 02cbbc20bdd508fabc38de38896bbae0 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Internal a2f6f66c5bb1247458d9fa25257ab188 import -/ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show 638b4149d86790151d6d4eeca215be94 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 107cf7489707dd0de1ccae6d6e42b2ab $fBinarySymbol :: Data.Binary.Class.Binary Language.Fixpoint.Types.Names.Symbol DFunId 94f1bdb304d086339f9a6ee4020ffb07 $fDataInternedText :: Data.Data.Data Data.Interned.Internal.Text.InternedText DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fDataSymbol :: Data.Data.Data Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fEqDescription :: GHC.Classes.Eq (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fEqSymbol :: GHC.Classes.Eq Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fFixpointSymbol :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Names.Symbol DFunId b8b2acdb81b0129b3a0da7c95ffe388e $fFixpointText :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Data.Text.Internal.Text DFunId 2934c155767d2d40ba80099cc0ac7bce $fGenericInternedText :: GHC.Generics.Generic Data.Interned.Internal.Text.InternedText DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fGenericSymbol :: GHC.Generics.Generic Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fHashableDescription :: Data.Hashable.Class.Hashable (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fHashableSymbol :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fInternedSymbol :: Data.Interned.Internal.Interned Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fIsStringSymbol :: Data.String.IsString Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fNFDataSymbol :: Control.DeepSeq.NFData Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fOrdSymbol :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fPPrintSymbol :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Names.Symbol DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fShowSymbol :: GHC.Show.Show Language.Fixpoint.Types.Names.Symbol DFunId a4d33775498a0ced71901135a848e25d $fSymbolicLocated :: Language.Fixpoint.Types.Names.Symbolic a => Language.Fixpoint.Types.Names.Symbolic (Language.Fixpoint.Types.Spans.Located a) DFunId a4d33775498a0ced71901135a848e25d $fSymbolicSymbol :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Names.Symbol DFunId a4d33775498a0ced71901135a848e25d $fSymbolicText :: Language.Fixpoint.Types.Names.Symbolic Data.Text.Internal.Text DFunId a4d33775498a0ced71901135a848e25d $fSymbolic[] :: Language.Fixpoint.Types.Names.Symbolic GHC.Base.String DFunId 107cf7489707dd0de1ccae6d6e42b2ab $fUninternableSymbol :: Data.Interned.Internal.Uninternable Language.Fixpoint.Types.Names.Symbol DFunId 0c124dc1c0df08d4a23907acdcff22b5 $tc'C:Symbolic :: GHC.Types.TyCon 1ca123c6e505fbc3283a49dbfebf3b35 $tc'S :: GHC.Types.TyCon 699d48fcc113b61b973aa382de2c2a49 $tcSymbol :: GHC.Types.TyCon feb1c3f5b39ac3f8b76ff80da00156b4 $tcSymbolic :: GHC.Types.TyCon 9f58202985681e69cb1ce30288e47921 $trModule :: GHC.Types.Module 0a64aa958f47d6c0e61e084f0dab3fa7 axiom D:R:DescriptionSymbol0:: Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol = Language.Fixpoint.Types.Names.R:DescriptionSymbol 107cf7489707dd0de1ccae6d6e42b2ab axiom D:R:UninternedSymbol:: Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol = Data.Text.Internal.Text 2b097f7c1b442bde052125f99a321ad2 type LocSymbol = Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Names.Symbol b0ca9a3f0c7b9f21aa912da3b33550b5 type LocText = Language.Fixpoint.Types.Spans.Located Data.Text.Internal.Text 0a64aa958f47d6c0e61e084f0dab3fa7 newtype instance Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol = DT Data.Text.Internal.Text RecFlag: Recursive 3b8ebeb0dc21b7061bb9a0b9e53abba4 axiom Rep_InternedText:: GHC.Generics.Rep Data.Interned.Internal.Text.InternedText = GHC.Generics.D1 ('GHC.Generics.MetaData "InternedText" "Data.Interned.Internal.Text" "intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "InternedText" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "internedTextId") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 Data.Interned.Internal.Id) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "uninternedText") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack) (GHC.Generics.Rec0 Data.Text.Internal.Text))) 107cf7489707dd0de1ccae6d6e42b2ab axiom Rep_Symbol:: GHC.Generics.Rep Language.Fixpoint.Types.Names.Symbol = GHC.Generics.D1 ('GHC.Generics.MetaData "Symbol" "Language.Fixpoint.Types.Names" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "S" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "_symbolId") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Data.Interned.Internal.Id) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Data.Text.Internal.Text) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Data.Text.Internal.Text)))) 9d57dc5fbcc702be2b4124228e5dc675 type SafeText = Data.Text.Internal.Text 107cf7489707dd0de1ccae6d6e42b2ab data Symbol = S {_symbolId :: !Data.Interned.Internal.Id, symbolRaw :: !Data.Text.Internal.Text, symbolEncoded :: !Data.Text.Internal.Text} a4d33775498a0ced71901135a848e25d class Symbolic a where symbol :: a -> Language.Fixpoint.Types.Names.Symbol {-# MINIMAL symbol #-} 6f4e96e6c54b1675c03be734a6eb46be _symbolId :: Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Id RecSel Left Language.Fixpoint.Types.Names.Symbol c08bbd14e21a385a7101a678e0f850b3 anfPrefix :: Language.Fixpoint.Types.Names.Symbol d9ebdc8f1f00c1056e793ddb758edc7d bitVecApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol a15979b9ee7bb5c0801fa50cf2c2af9b bitVecName :: Language.Fixpoint.Types.Names.Symbol 2c10e1732cf4d314527ad94d764f52b2 bitVecToIntName :: Language.Fixpoint.Types.Names.Symbol 41a415998add87e6389671c6c1ef2bc1 boolApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 7fae4414d2bbeabfbea44223ec5aff47 boolConName :: Language.Fixpoint.Types.Names.Symbol 81e7b528a8c74e508f7e15236adc231f boolToIntName :: Data.String.IsString a => a ce3adb98e8ce715f2bde76c976dd9357 bvAndName :: Language.Fixpoint.Types.Names.Symbol ba93cb92961e4a14a765b42d4355a73f bvOrName :: Language.Fixpoint.Types.Names.Symbol 24b30fd02dd0a1778ba11ceb66078da7 consName :: Language.Fixpoint.Types.Names.Symbol e6fadb34be04ed1a05331ee1b3f4138c consSym :: GHC.Types.Char -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 4d848a37fcd848b011167b34e38721e7 divFuncName :: Language.Fixpoint.Types.Names.Symbol d45cc86e0aeaeecbd5772bd766fba986 dropSym :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol d3ad655eedf4d74e84b173c6af4749e7 dummyName :: Language.Fixpoint.Types.Names.Symbol 8c75a707c67acc00437691dbdebe1fec dummySymbol :: Language.Fixpoint.Types.Names.Symbol 501d7c37848803f7c694d83a22a1da7a existSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol f44f5054da861c6f4a795e1f76210f9a funConName :: Language.Fixpoint.Types.Names.Symbol b311247f9e79653b962cd109dc75f493 gradIntSymbol :: GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol 0145f4bdabe47e9a4fa347724795eb4f headSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Char d8ce40fa9f2a489f472ca2efc711c0bd intApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 9b48e15293eaff61153174f73d489aae intArgName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 7d9f6533931c4ca82771ea23fbc8a8fd intSymbol :: GHC.Show.Show a => Language.Fixpoint.Types.Names.Symbol -> a -> Language.Fixpoint.Types.Names.Symbol 3b302d2d373bc6e54d665ed0438f93d7 isDummy :: Language.Fixpoint.Types.Names.Symbolic a => a -> GHC.Types.Bool bba5ca738d1ecab6397a9ddbbfc8db26 isLitSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 643ba9b6fd03a2938c1dfd427be8beb3 isNonSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool db4e3d096a273fcd68da3526885e920e isNontrivialVV :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 3fbe95c807025a1bd9a93dc0db5f20b6 isPrefixOfSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool 98e56e60d2bd35c23185460f7a2225b9 isSuffixOfSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool c8be61387ee0930c54014734862b08f4 kArgSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 0054a7db80e625b5bdf43a5e21ef678d lambdaName :: Language.Fixpoint.Types.Names.Symbol 2c2c47346ee09a1742270ccec1aef1e1 lengthSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int f2421ca72676de34980131376e2df97e listConName :: Language.Fixpoint.Types.Names.Symbol 499280fc0152faf3aa47afa73421e3cc listLConName :: Language.Fixpoint.Types.Names.Symbol c3ba52d33958444c6155470c5b7a64e8 litSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol e46ed1600c8648bf41b1a6afd8e3fa44 mapApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol 7daa5f8b4759118cdc0fd6de6899a39c mapConName :: Language.Fixpoint.Types.Names.Symbol a252853148a0a2ff7b9149d838dab0e4 mapToIntName :: Language.Fixpoint.Types.Names.Symbol 374019d20b2a80edc877e920989ad6ff mulFuncName :: Language.Fixpoint.Types.Names.Symbol a0e9b97d46525a3d5be03a715b9af6fc nilName :: Language.Fixpoint.Types.Names.Symbol 2ebc9a0c289d30c9b4d85a9afedba802 nonSymbol :: Language.Fixpoint.Types.Names.Symbol fbca365ee7966069bbd4577b35a549a4 preludeName :: Language.Fixpoint.Types.Names.Symbol 034c7e91a0f960b4a53432e8dada175a prims :: [Language.Fixpoint.Types.Names.Symbol] 85460fb31039bdf4d0b31c411f545376 realApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol e3d23c3c55ac5c7b94d3049ffda3f42a realToIntName :: Language.Fixpoint.Types.Names.Symbol 67cc445e760c20618826c94351c33cb6 renameSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol c225d70fc048d8108b31668d2a2de482 setApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol d3d1e5b4aaed620179e41242d2d62676 setConName :: Language.Fixpoint.Types.Names.Symbol 669fd4450cbfd08f57686b298e363be9 setToIntName :: Language.Fixpoint.Types.Names.Symbol 14a55a3ed5974b00796b9315eecb5f6c size32Name :: Language.Fixpoint.Types.Names.Symbol 925463ccad6a1761db2177449d2ea246 size64Name :: Language.Fixpoint.Types.Names.Symbol ad91720fa7cff7d04f773d416e54cc52 strConName :: Data.String.IsString a => a 833bb616f95caf38c8f08549e287c4f6 stripPrefix :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Base.Maybe Language.Fixpoint.Types.Names.Symbol ae5b9c74e41224eb8dcee7e5b1944f9e suffixSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol 598ad57d633d26867873e606b67eeb54 symChars :: Data.HashSet.HashSet GHC.Types.Char 5774b82a04af39cf9cf3ba15e14ea8be symbolEncoded :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text RecSel Left Language.Fixpoint.Types.Names.Symbol c69658a0cd7ca0881188c6bf7107cd6b symbolRaw :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text RecSel Left Language.Fixpoint.Types.Names.Symbol 7ca774af964bd923aa3829d59c8a5552 symbolSafeString :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String 4266fd10fb6f675f184e3b582f0b2756 symbolSafeText :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.SafeText e0853b1381baa0f4d129124095f9a947 symbolString :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String 774ad07a9a8434173fb76f3c9beddda0 symbolText :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text 7c072b8d02615f59d907ecae4051845b symbolicString :: Language.Fixpoint.Types.Names.Symbolic a => a -> GHC.Base.String d7274b9bd94557143b9ed40c0d6c6952 tempPrefix :: Language.Fixpoint.Types.Names.Symbol 7966ee57ee4bb99f9a336b2641fc0faf tempSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol 784628257acc10112a0a5307f73e66b6 tidySymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol affecb0cfc6946ee6f5e1d1fb95be532 tupConName :: Language.Fixpoint.Types.Names.Symbol ff2e0ea84ddc34f3730d1e2e6c04556c unLitSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.Maybe Language.Fixpoint.Types.Names.Symbol 4151fac17f38a4cf646b567b336a499d unconsSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.Maybe (GHC.Types.Char, Language.Fixpoint.Types.Names.Symbol) 5dabdd52260575552f43a98cb97debdb vv :: GHC.Base.Maybe GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol 0a06065f402cbbe1781459f468a02e3e vvCon :: Language.Fixpoint.Types.Names.Symbol 91aa55210a0eab15c7f5e45b5ef4d7b1 vvName :: Language.Fixpoint.Types.Names.Symbol instance Data.Binary.Class.Binary [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fBinarySymbol instance Data.Data.Data [Data.Interned.Internal.Text.InternedText] = Language.Fixpoint.Types.Names.$fDataInternedText instance Data.Data.Data [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fDataSymbol instance GHC.Classes.Eq [Data.Interned.Internal.Description] = Language.Fixpoint.Types.Names.$fEqDescription instance GHC.Classes.Eq [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fEqSymbol instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fFixpointSymbol instance Language.Fixpoint.Types.PrettyPrint.Fixpoint [Data.Text.Internal.Text] = Language.Fixpoint.Types.Names.$fFixpointText instance GHC.Generics.Generic [Data.Interned.Internal.Text.InternedText] = Language.Fixpoint.Types.Names.$fGenericInternedText instance GHC.Generics.Generic [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fGenericSymbol instance Data.Hashable.Class.Hashable [Data.Interned.Internal.Description] = Language.Fixpoint.Types.Names.$fHashableDescription instance Data.Hashable.Class.Hashable [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fHashableSymbol instance Data.Interned.Internal.Interned [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fInternedSymbol instance Data.String.IsString [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fIsStringSymbol instance Control.DeepSeq.NFData [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fNFDataSymbol instance GHC.Classes.Ord [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fOrdSymbol instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fPPrintSymbol instance GHC.Show.Show [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fShowSymbol instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Spans.Located] = Language.Fixpoint.Types.Names.$fSymbolicLocated instance Language.Fixpoint.Types.Names.Symbolic [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fSymbolicSymbol instance Language.Fixpoint.Types.Names.Symbolic [Data.Text.Internal.Text] = Language.Fixpoint.Types.Names.$fSymbolicText instance Language.Fixpoint.Types.Names.Symbolic [[]] = Language.Fixpoint.Types.Names.$fSymbolic[] instance Data.Interned.Internal.Uninternable [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.$fUninternableSymbol family instance Data.Interned.Internal.Description [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0 family instance GHC.Generics.Rep [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.Rep_Symbol family instance GHC.Generics.Rep [Data.Interned.Internal.Text.InternedText] = Language.Fixpoint.Types.Names.Rep_InternedText family instance Data.Interned.Internal.Uninterned [Language.Fixpoint.Types.Names.Symbol] = Language.Fixpoint.Types.Names.D:R:UninternedSymbol vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False