==================== FINAL INTERFACE ==================== 2017-05-02 18:35:56.034601 UTC interface liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf:Language.Fixpoint.Types.Names [orphan module] [family instance module] 8002 interface hash: 9f599bdb225d1f1d4d6fdfb3c6df310e ABI hash: e10fad5e5b8ff170c535ac390b7d6df1 export-list hash: 743e0e557751599295b6ae4810403574 orphan hash: 91fdab81f14605f8fe9fceebb5c7ea5b 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.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-6TLfofWrTFvFP1QJmA2Rhf: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-6TLfofWrTFvFP1QJmA2Rhf: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 9f8ba54128c047c2f5df631a58152645 exports: 8280ba96c3b943538085a23e8c114f93 Fixpoint cc7bdd91c6c79c1473a4d48904d3bc29 PPrint f926efd2d44310d1ff99c4868d82bc97 toFix adc72af29f82382843f845a7caada087 import -/ Language.Fixpoint.Types.Spans 914694383547ac6e05961eac2448df52 exports: 7fe5850227a6e738b3508defc057da0b Located 3326b791adf9e0911edd64707c0fed2a val a3c4cf7922f79de46237eef8822a75ce 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 63168e6c9c3e01fcbdadaa3ec4dcaf10 $c8wIVoHaUdCGCnqCEqihGgP :: Data.Data.Constr 5d0728cdd3fe7b245d22dd18feb07119 $cAlyW0SdN2Ec9BKKpQHJGD2 :: Data.Data.Constr 48f09ac5554b5659507cdde0ca23f8ac $fBinarySymbol :: Data.Binary.Class.Binary Language.Fixpoint.Types.Names.Symbol DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fBinarySymbol_$cput Language.Fixpoint.Types.Names.$fBinarySymbol_$cget Language.Fixpoint.Types.Names.$fBinarySymbol_$cputList -} 48f09ac5554b5659507cdde0ca23f8ac $fBinarySymbol1 :: Data.ByteString.Internal.ByteString -> Data.Binary.Get.Internal.Success Language.Fixpoint.Types.Names.Symbol r -> Data.Binary.Get.Internal.Decoder r {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ r (w :: Data.ByteString.Internal.ByteString) (w1 :: Data.Binary.Get.Internal.Success Language.Fixpoint.Types.Names.Symbol r) -> case w of ww { Data.ByteString.Internal.PS ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Names.$w$cget @ r ww1 ww2 ww3 ww4 w1 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fBinarySymbol2 :: Language.Fixpoint.Types.Names.Symbol -> Data.Binary.Put.PairS () {- Arity: 1, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case Data.Binary.Class.$w$cput7 (case w of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case ds of ww { Data.Text.Internal.Text ww1 ww2 ww3 -> Data.Text.Encoding.$wencodeUtf8 ww1 ww2 ww3 } }) of ww { (#,#) ww1 ww2 -> Data.Binary.Put.PairS @ () ww1 ww2 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fBinarySymbol_$cget :: Data.Binary.Get.Internal.Get Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fBinarySymbol1 `cast` (Sym (Data.Binary.Get.Internal.N:Get[0] _R)) -} 48f09ac5554b5659507cdde0ca23f8ac $fBinarySymbol_$cput :: Language.Fixpoint.Types.Names.Symbol -> Data.Binary.Put.Put {- Arity: 1, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fBinarySymbol2 `cast` (_R ->_R Sym (Data.Binary.Put.N:PutM[0]) <()>_N) -} 48f09ac5554b5659507cdde0ca23f8ac $fBinarySymbol_$cputList :: [Language.Fixpoint.Types.Names.Symbol] -> Data.Binary.Put.Put {- Arity: 1 -} a6db83df676d9ab3ffa8609aea1e561c $fDataInternedText :: Data.Data.Data Data.Interned.Internal.Text.InternedText DFunId {- Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Data.Interned.Internal.Text.InternedText Language.Fixpoint.Types.Names.$fDataInternedText_$cp1Data Language.Fixpoint.Types.Names.$fDataInternedText_$cgfoldl Language.Fixpoint.Types.Names.$fDataInternedText_$cgunfold Language.Fixpoint.Types.Names.$fDataInternedText_$ctoConstr Language.Fixpoint.Types.Names.$fDataInternedText_$cdataTypeOf Language.Fixpoint.Types.Names.$fDataInternedText_$s$dmdataCast1 Language.Fixpoint.Types.Names.$fDataInternedText_$s$dmdataCast2 Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapT Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapQl Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapQr Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapQ Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapQi Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapM Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapMp Language.Fixpoint.Types.Names.$fDataInternedText_$cgmapMo -} 28067bf058b7b44ea91f7965fb71a465 $fDataInternedText1 :: (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText, GHC.Types.Bool) {- HasNoCafRefs, Unfolding: ((Data.Interned.Internal.Text.$WInternedText, GHC.Types.False)) -} 4c226de46d787d78bba9a2e020e48fdc $fDataInternedText2 :: Data.Data.DataRep {- Strictness: m1, Unfolding: (Data.Data.AlgRep Language.Fixpoint.Types.Names.$fDataInternedText3) -} 016452a5e7f11f1081f5688a6f66cf9e $fDataInternedText3 :: [Data.Data.Constr] {- Strictness: m2, Unfolding: (GHC.Types.: @ Data.Data.Constr Language.Fixpoint.Types.Names.$c8wIVoHaUdCGCnqCEqihGgP (GHC.Types.[] @ Data.Data.Constr)) -} 90f32134987b79548004828be594c6f0 $fDataInternedText4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "InternedText"#) -} d0ee3788e21f4a10a6cb6266cb01b2b4 $fDataInternedText5 :: GHC.Prim.Proxy# Data.Interned.Internal.Text.InternedText -> Data.Typeable.Internal.TypeRep {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, True) (\ (wild :: GHC.Prim.Proxy# Data.Interned.Internal.Text.InternedText) -> Language.Fixpoint.Types.Names.$fDataInternedText6) -} a8825e29f0e6591c9425dad5042dbd06 $fDataInternedText6 :: Data.Typeable.Internal.TypeRep {- Unfolding: (case Data.Typeable.Internal.typeRepFingerprints (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) of kt_fps { DEFAULT -> case GHC.Fingerprint.fingerprintFingerprints (GHC.Types.: @ GHC.Fingerprint.Type.Fingerprint Language.Fixpoint.Types.Names.$fDataInternedText7 kt_fps) of dt { GHC.Fingerprint.Type.Fingerprint dt1 dt2 -> Data.Typeable.Internal.TypeRep dt1 dt2 Data.Interned.Internal.Text.$tcInternedText (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) } }) -} 37d0d79b70e1c77ff214f1bf52ce0d76 $fDataInternedText7 :: GHC.Fingerprint.Type.Fingerprint {- HasNoCafRefs, Unfolding: (GHC.Fingerprint.Type.Fingerprint 13274085457852993140## 18306213730702641936##) -} cdf4293b235f59ffc7031c8369750ed2 $fDataInternedText_$cdataTypeOf :: Data.Interned.Internal.Text.InternedText -> Data.Data.DataType {- Arity: 1, Strictness: m, Unfolding: InlineRule (1, True, True) (\ (ds :: Data.Interned.Internal.Text.InternedText) -> Language.Fixpoint.Types.Names.$t8wIVoHaUdCGCnqCEqihGgP) -} 4d5aa92ec16fe44589c202ca40ac178d $fDataInternedText_$cgfoldl :: (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Data.Interned.Internal.Text.InternedText -> c Data.Interned.Internal.Text.InternedText {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (c :: * -> *) (w :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w1 :: forall g. g -> c g) (w2 :: Data.Interned.Internal.Text.InternedText) -> case w2 of ww { Data.Interned.Internal.Text.InternedText ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Names.$w$cgfoldl @ c w w1 ww1 ww2 ww3 ww4 }) -} a90a180acc0927607d5e1415a81e13a1 $fDataInternedText_$cgmapM :: GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> Data.Interned.Internal.Text.InternedText -> m Data.Interned.Internal.Text.InternedText {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (m :: * -> *) (w :: GHC.Base.Monad m) (w1 :: forall d. Data.Data.Data d => d -> m d) (w2 :: Data.Interned.Internal.Text.InternedText) -> case w2 of ww { Data.Interned.Internal.Text.InternedText ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Names.$w$cgmapM @ m w w1 ww1 ww2 ww3 ww4 }) -} d1db358b09b81cef8972b719bccc007a $fDataInternedText_$cgmapMo :: GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Data.Interned.Internal.Text.InternedText -> m Data.Interned.Internal.Text.InternedText {- Arity: 3, Strictness: , Unfolding: (\ @ (m :: * -> *) ($dMonadPlus :: GHC.Base.MonadPlus m) (ds :: forall d. Data.Data.Data d => d -> m d) (eta1 :: Data.Interned.Internal.Text.InternedText) -> let { $dMonad :: GHC.Base.Monad m = GHC.Base.$p2MonadPlus @ m $dMonadPlus } in let { lvl40 :: m Data.Interned.Internal.Text.InternedText = GHC.Base.mzero @ m $dMonadPlus @ Data.Interned.Internal.Text.InternedText } in GHC.Base.>>= @ m $dMonad @ (Data.Interned.Internal.Text.InternedText, GHC.Types.Bool) @ Data.Interned.Internal.Text.InternedText (case eta1 of wild { Data.Interned.Internal.Text.InternedText dt dt1 dt2 dt3 -> let { k :: forall d b. Data.Data.Data d => Data.Data.Mp m (d -> b) -> d -> m (b, GHC.Types.Bool) {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (ds1 :: Data.Data.Mp m (d -> b))[OneShot] (y :: d)[OneShot] -> let { lvl41 :: m d = ds @ d $dData1 y } in GHC.Base.>>= @ m $dMonad @ (d -> b, GHC.Types.Bool) @ (b, GHC.Types.Bool) ds1 `cast` (Data.Data.N:Mp[0] _R b>_N) (\ (ds2 :: (d -> b, GHC.Types.Bool)) -> case ds2 of wild1 { (,) h b1 -> case b1 of wild2 { GHC.Types.False -> GHC.Base.mplus @ m $dMonadPlus @ (b, GHC.Types.Bool) (GHC.Base.>>= @ m $dMonad @ d @ (b, GHC.Types.Bool) lvl41 (\ (y' :: d) -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y', GHC.Types.True))) (GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, GHC.Types.False)) GHC.Types.True -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, GHC.Types.True) } }) } in k @ Data.Text.Internal.Text @ Data.Interned.Internal.Text.InternedText Data.Text.$fDataText (k @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Data.$fDataInt (GHC.Base.return @ m $dMonad @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText, GHC.Types.Bool) Language.Fixpoint.Types.Names.$fDataInternedText1) `cast` (Sym (Data.Data.N:Mp[0] _R Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText>_N)) (GHC.Types.I# dt)) `cast` (Sym (Data.Data.N:Mp[0] _R Data.Interned.Internal.Text.InternedText>_N)) (Data.Text.Internal.Text dt1 dt2 dt3) }) (\ (ds1 :: (Data.Interned.Internal.Text.InternedText, GHC.Types.Bool)) -> case ds1 of wild { (,) x' b -> case b of wild1 { GHC.Types.False -> lvl40 GHC.Types.True -> GHC.Base.return @ m $dMonad @ Data.Interned.Internal.Text.InternedText x' } })) -} d3436bd06a45b9513b41a524c33b8efc $fDataInternedText_$cgmapMp :: GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Data.Interned.Internal.Text.InternedText -> m Data.Interned.Internal.Text.InternedText {- Arity: 3, Strictness: , Unfolding: (\ @ (m :: * -> *) ($dMonadPlus :: GHC.Base.MonadPlus m) (ds :: forall d. Data.Data.Data d => d -> m d) (eta1 :: Data.Interned.Internal.Text.InternedText) -> let { $dMonad :: GHC.Base.Monad m = GHC.Base.$p2MonadPlus @ m $dMonadPlus } in let { lvl40 :: m Data.Interned.Internal.Text.InternedText = GHC.Base.mzero @ m $dMonadPlus @ Data.Interned.Internal.Text.InternedText } in GHC.Base.>>= @ m $dMonad @ (Data.Interned.Internal.Text.InternedText, GHC.Types.Bool) @ Data.Interned.Internal.Text.InternedText (case eta1 of wild { Data.Interned.Internal.Text.InternedText dt dt1 dt2 dt3 -> let { k :: forall d b. Data.Data.Data d => Data.Data.Mp m (d -> b) -> d -> m (b, GHC.Types.Bool) {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (ds1 :: Data.Data.Mp m (d -> b))[OneShot] (y :: d)[OneShot] -> let { lvl41 :: m d = ds @ d $dData1 y } in GHC.Base.>>= @ m $dMonad @ (d -> b, GHC.Types.Bool) @ (b, GHC.Types.Bool) ds1 `cast` (Data.Data.N:Mp[0] _R b>_N) (\ (ds2 :: (d -> b, GHC.Types.Bool)) -> case ds2 of wild1 { (,) h b1 -> GHC.Base.mplus @ m $dMonadPlus @ (b, GHC.Types.Bool) (GHC.Base.>>= @ m $dMonad @ d @ (b, GHC.Types.Bool) lvl41 (\ (y' :: d) -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y', GHC.Types.True))) (GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, b1)) }) } in k @ Data.Text.Internal.Text @ Data.Interned.Internal.Text.InternedText Data.Text.$fDataText (k @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Data.$fDataInt (GHC.Base.return @ m $dMonad @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText, GHC.Types.Bool) Language.Fixpoint.Types.Names.$fDataInternedText1) `cast` (Sym (Data.Data.N:Mp[0] _R Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText>_N)) (GHC.Types.I# dt)) `cast` (Sym (Data.Data.N:Mp[0] _R Data.Interned.Internal.Text.InternedText>_N)) (Data.Text.Internal.Text dt1 dt2 dt3) }) (\ (ds1 :: (Data.Interned.Internal.Text.InternedText, GHC.Types.Bool)) -> case ds1 of wild { (,) x' b -> case b of wild1 { GHC.Types.False -> lvl40 GHC.Types.True -> GHC.Base.return @ m $dMonad @ Data.Interned.Internal.Text.InternedText x' } })) -} 274ce127c4897f3e4273c2a0d39dc517 $fDataInternedText_$cgmapQ :: (forall d. Data.Data.Data d => d -> u) -> Data.Interned.Internal.Text.InternedText -> [u] {- Arity: 2, Strictness: m2, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ @ u (w :: forall d. Data.Data.Data d => d -> u) (w1 :: Data.Interned.Internal.Text.InternedText) -> case w1 of ww { Data.Interned.Internal.Text.InternedText ww1 ww2 ww3 ww4 -> GHC.Types.: @ u (w @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww1)) (GHC.Types.: @ u (w @ Data.Text.Internal.Text Data.Text.$fDataText (Data.Text.Internal.Text ww2 ww3 ww4)) (GHC.Types.[] @ u)) }) -} 2b39d2e33ffa54b4c4eb20766a09a2b0 $fDataInternedText_$cgmapQi :: GHC.Types.Int -> (forall d. Data.Data.Data d => d -> u) -> Data.Interned.Internal.Text.InternedText -> u {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ u (w :: GHC.Types.Int) (w1 :: forall d. Data.Data.Data d => d -> u) (w2 :: Data.Interned.Internal.Text.InternedText) -> case w of ww { GHC.Types.I# ww1 -> case w2 of ww2 { Data.Interned.Internal.Text.InternedText ww3 ww4 ww5 ww6 -> Language.Fixpoint.Types.Names.$w$cgmapQi @ u ww1 w1 ww3 ww4 ww5 ww6 } }) -} b6c12063d9b2de4a811b5e5a32a10346 $fDataInternedText_$cgmapQl :: (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Data.Interned.Internal.Text.InternedText -> r {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ r @ r' (w :: r -> r' -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (w3 :: Data.Interned.Internal.Text.InternedText) -> case w3 of ww { Data.Interned.Internal.Text.InternedText ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Names.$w$cgmapQl @ r @ r' w w1 w2 ww1 ww2 ww3 ww4 }) -} 4c2b3154188e4fa29137d4283b55663b $fDataInternedText_$cgmapQr :: (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Data.Interned.Internal.Text.InternedText -> r {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ r @ r' (w :: r' -> r -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (w3 :: Data.Interned.Internal.Text.InternedText) -> case w3 of ww { Data.Interned.Internal.Text.InternedText ww1 ww2 ww3 ww4 -> Language.Fixpoint.Types.Names.$w$cgmapQr @ r @ r' w w1 w2 ww1 ww2 ww3 ww4 }) -} 7284c57347b4c0af927e9b80b4b09979 $fDataInternedText_$cgmapT :: (forall b. Data.Data.Data b => b -> b) -> Data.Interned.Internal.Text.InternedText -> Data.Interned.Internal.Text.InternedText {- Arity: 2, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: forall b. Data.Data.Data b => b -> b) (w1 :: Data.Interned.Internal.Text.InternedText) -> case w1 of ww { Data.Interned.Internal.Text.InternedText ww1 ww2 ww3 ww4 -> case w @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww1) of dt { GHC.Types.I# dt1 -> case w @ Data.Text.Internal.Text Data.Text.$fDataText (Data.Text.Internal.Text ww2 ww3 ww4) of dt2 { Data.Text.Internal.Text dt3 dt4 dt5 -> Data.Interned.Internal.Text.InternedText dt1 dt3 dt4 dt5 } } }) -} 2e92d60c56f5fd9ed6943238e401219f $fDataInternedText_$cgunfold :: (forall b r. Data.Data.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Data.Data.Constr -> c Data.Interned.Internal.Text.InternedText {- Arity: 3, Strictness: , Unfolding: InlineRule (3, True, False) (\ @ (c :: * -> *) (k :: forall b r. Data.Data.Data b => c (b -> r) -> c r) (z :: forall r. r -> c r) (ds :: Data.Data.Constr) -> k @ Data.Text.Internal.Text @ Data.Interned.Internal.Text.InternedText Data.Text.$fDataText (k @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Data.$fDataInt (z @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Interned.Internal.Text.$WInternedText))) -} 9d60039f0aa6416a63ed5f38573182e2 $fDataInternedText_$cp1Data :: Data.Typeable.Internal.Typeable Data.Interned.Internal.Text.InternedText {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fDataInternedText5 `cast` (Sym (Data.Typeable.Internal.N:Typeable[0] <*>_N _N)) -} 31132f11aae3bc7ef9278af4f0450979 $fDataInternedText_$ctoConstr :: Data.Interned.Internal.Text.InternedText -> Data.Data.Constr {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Data.Interned.Internal.Text.InternedText) -> case ds of wild { Data.Interned.Internal.Text.InternedText dt dt1 dt2 dt3 -> Language.Fixpoint.Types.Names.$c8wIVoHaUdCGCnqCEqihGgP }) -} cc92e685b29b0f35773178e7fd784569 $fDataInternedText_$s$dmdataCast1 :: Data.Typeable.Internal.Typeable t => (forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Maybe (c Data.Interned.Internal.Text.InternedText) {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, True) (\ @ (t :: * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Nothing @ (c Data.Interned.Internal.Text.InternedText)) -} ac14a3313c90f5bbf6bd38aaa27624e7 $fDataInternedText_$s$dmdataCast2 :: Data.Typeable.Internal.Typeable t => (forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Maybe (c Data.Interned.Internal.Text.InternedText) {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, True) (\ @ (t :: * -> * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Nothing @ (c Data.Interned.Internal.Text.InternedText)) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol :: Data.Data.Data Language.Fixpoint.Types.Names.Symbol DFunId {- Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fDataSymbol_$cp1Data Language.Fixpoint.Types.Names.$fDataSymbol_$cgfoldl Language.Fixpoint.Types.Names.$fDataSymbol_$cgunfold Language.Fixpoint.Types.Names.$fDataSymbol_$ctoConstr Language.Fixpoint.Types.Names.$fDataSymbol_$cdataTypeOf Language.Fixpoint.Types.Names.$fDataSymbol_$s$dmdataCast1 Language.Fixpoint.Types.Names.$fDataSymbol_$s$dmdataCast2 Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapT Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapQl Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapQr Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapQ Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapQi Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapM Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapMp Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapMo -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol1 :: (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol, GHC.Types.Bool) {- HasNoCafRefs, Unfolding: ((Language.Fixpoint.Types.Names.$WS, GHC.Types.False)) -} b69be746639c9d17c5607a82d8f413f6 $fDataSymbol2 :: Data.Data.DataRep {- Strictness: m1, Unfolding: (Data.Data.AlgRep Language.Fixpoint.Types.Names.$fDataSymbol3) -} bad836ec5b66b7dac57216bae27061c0 $fDataSymbol3 :: [Data.Data.Constr] {- Strictness: m2, Unfolding: (GHC.Types.: @ Data.Data.Constr Language.Fixpoint.Types.Names.$cAlyW0SdN2Ec9BKKpQHJGD2 (GHC.Types.[] @ Data.Data.Constr)) -} 826f90171abacd79a312aa63f0635912 $fDataSymbol4 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Symbol"#) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol5 :: GHC.Prim.Proxy# Language.Fixpoint.Types.Names.Symbol -> Data.Typeable.Internal.TypeRep {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, True) (\ (wild :: GHC.Prim.Proxy# Language.Fixpoint.Types.Names.Symbol) -> Language.Fixpoint.Types.Names.$fDataSymbol6) -} 12e1ca94f4dc33131c6354f7964ae1dd $fDataSymbol6 :: Data.Typeable.Internal.TypeRep {- Unfolding: (case Data.Typeable.Internal.typeRepFingerprints (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) of kt_fps { DEFAULT -> case GHC.Fingerprint.fingerprintFingerprints (GHC.Types.: @ GHC.Fingerprint.Type.Fingerprint Language.Fixpoint.Types.Names.$fDataSymbol7 kt_fps) of dt { GHC.Fingerprint.Type.Fingerprint dt1 dt2 -> Data.Typeable.Internal.TypeRep dt1 dt2 Language.Fixpoint.Types.Names.$tcSymbol (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) (GHC.Types.[] @ Data.Typeable.Internal.TypeRep) } }) -} 42c332f04e42414772601ae54f32918a $fDataSymbol7 :: GHC.Fingerprint.Type.Fingerprint {- HasNoCafRefs, Unfolding: (GHC.Fingerprint.Type.Fingerprint 8981628712049838859## 18007897414829905084##) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cdataTypeOf :: Language.Fixpoint.Types.Names.Symbol -> Data.Data.DataType {- Arity: 1, Strictness: m, Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> Language.Fixpoint.Types.Names.$tAej1sndbM6DDTVZTHjMcUS) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgfoldl :: (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Language.Fixpoint.Types.Names.Symbol -> c Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (c :: * -> *) (w :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w1 :: forall g. g -> c g) (w2 :: Language.Fixpoint.Types.Names.Symbol) -> case w2 of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> Language.Fixpoint.Types.Names.$w$cgfoldl1 @ c w w1 ww1 ww2 ww3 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapM :: GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Names.Symbol -> m Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ (m :: * -> *) (w :: GHC.Base.Monad m) (w1 :: forall d. Data.Data.Data d => d -> m d) (w2 :: Language.Fixpoint.Types.Names.Symbol) -> case w2 of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> Language.Fixpoint.Types.Names.$w$cgmapM1 @ m w w1 ww1 ww2 ww3 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapMo :: GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Names.Symbol -> m Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Strictness: -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapMp :: GHC.Base.MonadPlus m => (forall d. Data.Data.Data d => d -> m d) -> Language.Fixpoint.Types.Names.Symbol -> m Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Strictness: , Unfolding: (\ @ (m :: * -> *) ($dMonadPlus :: GHC.Base.MonadPlus m) (ds :: forall d. Data.Data.Data d => d -> m d) (eta1 :: Language.Fixpoint.Types.Names.Symbol) -> let { $dMonad :: GHC.Base.Monad m = GHC.Base.$p2MonadPlus @ m $dMonadPlus } in let { lvl40 :: m Language.Fixpoint.Types.Names.Symbol = GHC.Base.mzero @ m $dMonadPlus @ Language.Fixpoint.Types.Names.Symbol } in GHC.Base.>>= @ m $dMonad @ (Language.Fixpoint.Types.Names.Symbol, GHC.Types.Bool) @ Language.Fixpoint.Types.Names.Symbol (case eta1 of wild { Language.Fixpoint.Types.Names.S dt a2 a3 -> let { k :: forall d b. Data.Data.Data d => Data.Data.Mp m (d -> b) -> d -> m (b, GHC.Types.Bool) {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (ds1 :: Data.Data.Mp m (d -> b))[OneShot] (y :: d)[OneShot] -> let { lvl41 :: m d = ds @ d $dData1 y } in GHC.Base.>>= @ m $dMonad @ (d -> b, GHC.Types.Bool) @ (b, GHC.Types.Bool) ds1 `cast` (Data.Data.N:Mp[0] _R b>_N) (\ (ds2 :: (d -> b, GHC.Types.Bool)) -> case ds2 of wild1 { (,) h b1 -> GHC.Base.mplus @ m $dMonadPlus @ (b, GHC.Types.Bool) (GHC.Base.>>= @ m $dMonad @ d @ (b, GHC.Types.Bool) lvl41 (\ (y' :: d) -> GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y', GHC.Types.True))) (GHC.Base.return @ m $dMonad @ (b, GHC.Types.Bool) (h y, b1)) }) } in k @ Data.Text.Internal.Text @ Language.Fixpoint.Types.Names.Symbol Data.Text.$fDataText (k @ Data.Text.Internal.Text @ (Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Text.$fDataText (k @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Data.$fDataInt (GHC.Base.return @ m $dMonad @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol, GHC.Types.Bool) Language.Fixpoint.Types.Names.$fDataSymbol1) `cast` (Sym (Data.Data.N:Mp[0] _R Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol>_N)) (GHC.Types.I# dt)) `cast` (Sym (Data.Data.N:Mp[0] _R Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol>_N)) a2) `cast` (Sym (Data.Data.N:Mp[0] _R Language.Fixpoint.Types.Names.Symbol>_N)) a3 }) (\ (ds1 :: (Language.Fixpoint.Types.Names.Symbol, GHC.Types.Bool)) -> case ds1 of wild { (,) x' b -> case b of wild1 { GHC.Types.False -> lvl40 GHC.Types.True -> GHC.Base.return @ m $dMonad @ Language.Fixpoint.Types.Names.Symbol x' } })) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapQ :: (forall d. Data.Data.Data d => d -> u) -> Language.Fixpoint.Types.Names.Symbol -> [u] {- Arity: 2, Strictness: , Unfolding: InlineRule (1, True, False) (\ @ u (ds :: forall d. Data.Data.Data d => d -> u) (eta :: Language.Fixpoint.Types.Names.Symbol) -> Language.Fixpoint.Types.Names.$fDataSymbol_$cgmapQr @ [u] @ u (GHC.Types.: @ u) (GHC.Types.[] @ u) ds eta) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapQi :: GHC.Types.Int -> (forall d. Data.Data.Data d => d -> u) -> Language.Fixpoint.Types.Names.Symbol -> u {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ u (w :: GHC.Types.Int) (w1 :: forall d. Data.Data.Data d => d -> u) (w2 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { GHC.Types.I# ww1 -> case w2 of ww2 { Language.Fixpoint.Types.Names.S ww3 ww4 ww5 -> Language.Fixpoint.Types.Names.$w$cgmapQi1 @ u ww1 w1 ww3 ww4 ww5 } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapQl :: (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Language.Fixpoint.Types.Names.Symbol -> r {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ r @ r' (w :: r -> r' -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (w3 :: Language.Fixpoint.Types.Names.Symbol) -> case w3 of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> Language.Fixpoint.Types.Names.$w$cgmapQl1 @ r @ r' w w1 w2 ww1 ww2 ww3 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapQr :: (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> Language.Fixpoint.Types.Names.Symbol -> r {- Arity: 4, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (4, True, False) (\ @ r @ r' (w :: r' -> r -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (w3 :: Language.Fixpoint.Types.Names.Symbol) -> case w3 of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> Language.Fixpoint.Types.Names.$w$cgmapQr1 @ r @ r' w w1 w2 ww1 ww2 ww3 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgmapT :: (forall b. Data.Data.Data b => b -> b) -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: forall b. Data.Data.Data b => b -> b) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w1 of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case w @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww1) of dt { GHC.Types.I# dt1 -> case w @ Data.Text.Internal.Text Data.Text.$fDataText ww2 of dt2 { Data.Text.Internal.Text ipv ipv1 ipv2 -> case w @ Data.Text.Internal.Text Data.Text.$fDataText ww3 of dt3 { Data.Text.Internal.Text ipv3 ipv4 ipv5 -> Language.Fixpoint.Types.Names.S dt1 dt2 dt3 } } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cgunfold :: (forall b r. Data.Data.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Data.Data.Constr -> c Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, True) (\ @ (c :: * -> *) (w :: forall b r. Data.Data.Data b => c (b -> r) -> c r) (w1 :: forall r. r -> c r) (w2 :: Data.Data.Constr) -> Language.Fixpoint.Types.Names.$w$cgunfold @ c w w1) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$cp1Data :: Data.Typeable.Internal.Typeable Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fDataSymbol5 `cast` (Sym (Data.Typeable.Internal.N:Typeable[0] <*>_N _N)) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$ctoConstr :: Language.Fixpoint.Types.Names.Symbol -> Data.Data.Constr {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> Language.Fixpoint.Types.Names.$cAlyW0SdN2Ec9BKKpQHJGD2 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$s$dmdataCast1 :: Data.Typeable.Internal.Typeable t => (forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Maybe (c Language.Fixpoint.Types.Names.Symbol) {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, True) (\ @ (t :: * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d. Data.Data.Data d => c (t d)) -> GHC.Base.Nothing @ (c Language.Fixpoint.Types.Names.Symbol)) -} 48f09ac5554b5659507cdde0ca23f8ac $fDataSymbol_$s$dmdataCast2 :: Data.Typeable.Internal.Typeable t => (forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Maybe (c Language.Fixpoint.Types.Names.Symbol) {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, True) (\ @ (t :: * -> * -> *) @ (c :: * -> *) ($dTypeable :: Data.Typeable.Internal.Typeable t) (ds :: forall d e. (Data.Data.Data d, Data.Data.Data e) => c (t d e)) -> GHC.Base.Nothing @ (c Language.Fixpoint.Types.Names.Symbol)) -} 48f09ac5554b5659507cdde0ca23f8ac $fEqDescription :: GHC.Classes.Eq (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) Language.Fixpoint.Types.Names.$fEqDescription_$c== Language.Fixpoint.Types.Names.$fEqDescription_$c/= -} 48f09ac5554b5659507cdde0ca23f8ac $fEqDescription_$c/= :: Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) Data.Text.$fEqText_$c/= `cast` (Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0])) ->_R Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0])) ->_R _R) -} 48f09ac5554b5659507cdde0ca23f8ac $fEqDescription_$c== :: Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (0, True, True) Data.Text.$fEqText_$c== `cast` (Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0])) ->_R Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0])) ->_R _R) -} 48f09ac5554b5659507cdde0ca23f8ac $fEqSymbol :: GHC.Classes.Eq Language.Fixpoint.Types.Names.Symbol DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fEqSymbol_$c== Language.Fixpoint.Types.Names.$fEqSymbol_$c/= -} 48f09ac5554b5659507cdde0ca23f8ac $fEqSymbol_$c/= :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=2), Unfolding: InlineRule (2, False, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> GHC.Classes.not (Language.Fixpoint.Types.Names.$fEqSymbol_$c== x y)) -} 48f09ac5554b5659507cdde0ca23f8ac $fEqSymbol_$c== :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) (ds1 :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case ds1 of wild1 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fFixpointSymbol :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Names.Symbol DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fFixpointSymbol_$ctoFix Language.Fixpoint.Types.Names.$fFixpointSymbol_$s$dmsimplify -} 48f09ac5554b5659507cdde0ca23f8ac $fFixpointSymbol_$ctoFix :: Language.Fixpoint.Types.Names.Symbol -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case ww3 of ww8 { Data.Text.Internal.Text ww9 ww10 ww11 -> case Language.Fixpoint.Types.Names.$w$ctoFix ww5 ww6 ww7 ww9 ww10 ww11 of ww12 { (#,#) ww13 ww14 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww13 ww14) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fFixpointSymbol_$s$dmsimplify :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (-1, True, True) (GHC.Base.id @ Language.Fixpoint.Types.Names.Symbol) -} 17e13ede98ec4da4e7c5a3511bdcce16 $fFixpointText :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Data.Text.Internal.Text DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Data.Text.Internal.Text Language.Fixpoint.Types.Names.$fFixpointText_$ctoFix Language.Fixpoint.Types.Names.$fFixpointText_$s$dmsimplify -} fd1b1383d52fa1c5a0cbec9ec27a7342 $fFixpointText_$ctoFix :: Data.Text.Internal.Text -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Data.Text.Internal.Text) -> case w of ww { Data.Text.Internal.Text ww1 ww2 ww3 -> case Language.Fixpoint.Types.Names.$w$ctoFix1 ww1 ww2 ww3 of ww4 { (#,#) ww5 ww6 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww5 ww6) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } }) -} f849ec45d151ca533823613c6c2cd8c8 $fFixpointText_$s$dmsimplify :: Data.Text.Internal.Text -> Data.Text.Internal.Text {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (-1, True, True) (GHC.Base.id @ Data.Text.Internal.Text) -} 66059842e835cc162562bbbb04bf51de $fGenericInternedText :: GHC.Generics.Generic Data.Interned.Internal.Text.InternedText DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Data.Interned.Internal.Text.InternedText Language.Fixpoint.Types.Names.$fGenericInternedText_$cfrom Language.Fixpoint.Types.Names.$fGenericInternedText_$cto -} f832f6c6a301538676387614d2641d2b $fGenericInternedText1 :: Data.Interned.Internal.Text.InternedText -> GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "InternedText" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "internedTextId") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R Data.Interned.Internal.Id) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "uninternedText") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text)) x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ x (x1 :: Data.Interned.Internal.Text.InternedText) -> case x1 of wild { Data.Interned.Internal.Text.InternedText dt dt1 dt2 dt3 -> (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "internedTextId") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R Data.Interned.Internal.Id)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "uninternedText") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text)) @ x (GHC.Types.I# dt) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "internedTextId") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack>_P _R) _N)) (Data.Text.Internal.Text dt1 dt2 dt3) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "uninternedText") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack>_P _R) _N))) `cast` (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "InternedText" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R) _N) }) -} 5889e432386ca7b14908fa0c9aeb6dca $fGenericInternedText_$cfrom :: Data.Interned.Internal.Text.InternedText -> GHC.Generics.Rep Data.Interned.Internal.Text.InternedText x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fGenericInternedText1 `cast` (forall (x :: _N). _R ->_R Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "InternedText" "Data.Interned.Internal.Text" "intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx" 'GHC.Types.False>_P _R)) (Sub (Sym (Language.Fixpoint.Types.Names.Rep_InternedText[0]))) _N) -} 1df1da19bcc1f84759facac129e078df $fGenericInternedText_$cto :: GHC.Generics.Rep Data.Interned.Internal.Text.InternedText x -> Data.Interned.Internal.Text.InternedText {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ x (ds :: GHC.Generics.Rep Data.Interned.Internal.Text.InternedText x) -> case ds `cast` (Trans (Sub (Language.Fixpoint.Types.Names.Rep_InternedText[0])) (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "InternedText" "Data.Interned.Internal.Text" "intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx" 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "InternedText" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R)) _N) of wild { GHC.Generics.:*: ds1 ds2 -> Data.Interned.Internal.Text.$WInternedText ds1 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "internedTextId") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) ds2 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "uninternedText") 'GHC.Generics.SourceUnpack 'GHC.Generics.SourceLazy 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) }) -} 48f09ac5554b5659507cdde0ca23f8ac $fGenericSymbol :: GHC.Generics.Generic Language.Fixpoint.Types.Names.Symbol DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fGenericSymbol_$cfrom Language.Fixpoint.Types.Names.$fGenericSymbol_$cto -} 48f09ac5554b5659507cdde0ca23f8ac $fGenericSymbol1 :: Language.Fixpoint.Types.Names.Symbol -> GHC.Generics.M1 GHC.Generics.C ('GHC.Generics.MetaCons "S" 'GHC.Generics.PrefixI 'GHC.Types.True) (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "_symbolId") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R Data.Interned.Internal.Id) GHC.Generics.:*: (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text))) x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ x (x1 :: Language.Fixpoint.Types.Names.Symbol) -> case x1 of wild { Language.Fixpoint.Types.Names.S dt g2 g3 -> (GHC.Generics.:*: @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "_symbolId") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack) (GHC.Generics.K1 GHC.Generics.R Data.Interned.Internal.Id)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text) GHC.Generics.:*: GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text)) @ x (GHC.Types.I# dt) `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "_symbolId") '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 "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text)) @ (GHC.Generics.M1 GHC.Generics.S ('GHC.Generics.MetaSel ('GHC.Base.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.K1 GHC.Generics.R Data.Text.Internal.Text)) @ x g2 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N)) g3 `cast` (Trans (Sym (GHC.Generics.N:K1[0] _P _R _P)) (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R) _N)))) `cast` (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "S" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R) _N) }) -} 48f09ac5554b5659507cdde0ca23f8ac $fGenericSymbol_$cfrom :: Language.Fixpoint.Types.Names.Symbol -> GHC.Generics.Rep Language.Fixpoint.Types.Names.Symbol x {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fGenericSymbol1 `cast` (forall (x :: _N). _R ->_R Trans (Sym (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Symbol" "Language.Fixpoint.Types.Names" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R)) (Sub (Sym (Language.Fixpoint.Types.Names.Rep_Symbol[0]))) _N) -} 48f09ac5554b5659507cdde0ca23f8ac $fGenericSymbol_$cto :: GHC.Generics.Rep Language.Fixpoint.Types.Names.Symbol x -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ @ x (ds :: GHC.Generics.Rep Language.Fixpoint.Types.Names.Symbol x) -> case ds `cast` (Trans (Sub (Language.Fixpoint.Types.Names.Rep_Symbol[0])) (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaData "Symbol" "Language.Fixpoint.Types.Names" "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" 'GHC.Types.False>_P _R) (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaCons "S" 'GHC.Generics.PrefixI 'GHC.Types.True>_P _R)) _N) of wild { GHC.Generics.:*: ds1 ds2 -> case ds2 of wild1 { GHC.Generics.:*: ds3 ds4 -> Language.Fixpoint.Types.Names.$WS ds1 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "_symbolId") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedUnpack>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) ds3 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "symbolRaw") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) ds4 `cast` (Trans (GHC.Generics.N:M1[0] _P <'GHC.Generics.MetaSel ('GHC.Base.Just "symbolEncoded") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict>_P _R _N) (GHC.Generics.N:K1[0] _P _R _P)) } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fHashableDescription :: Data.Hashable.Class.Hashable (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ (Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol) Language.Fixpoint.Types.Names.$fHashableDescription_$chashWithSalt Language.Fixpoint.Types.Names.$fHashableDescription_$chash -} 419e443dae4d7923d8e0e8ffe9abc258 $fHashableDescription1 :: Data.Text.Internal.Text -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Unfolding: (Data.Hashable.Class.$fHashableText_$chashWithSalt1 Data.Hashable.Class.defaultSalt) -} 48f09ac5554b5659507cdde0ca23f8ac $fHashableDescription_$chash :: Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fHashableDescription1 `cast` (Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0])) ->_R _R) -} 48f09ac5554b5659507cdde0ca23f8ac $fHashableDescription_$chashWithSalt :: GHC.Types.Int -> Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Data.Hashable.Class.$fHashableText_$chashWithSalt1 `cast` (_R ->_R Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0])) ->_R _R) -} 48f09ac5554b5659507cdde0ca23f8ac $fHashableSymbol :: Data.Hashable.Class.Hashable Language.Fixpoint.Types.Names.Symbol DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fHashableSymbol_$chashWithSalt Language.Fixpoint.Types.Names.$fHashableSymbol_$chash -} 48f09ac5554b5659507cdde0ca23f8ac $fHashableSymbol_$chash :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Unfolding: (Language.Fixpoint.Types.Names.$fHashableSymbol_$chashWithSalt Data.Hashable.Class.defaultSalt) -} 48f09ac5554b5659507cdde0ca23f8ac $fHashableSymbol_$chashWithSalt :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int {- Arity: 2, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Types.Names.S ww3 ww4 ww5 -> case ww4 of ww6 { Data.Text.Internal.Text ww7 ww8 ww9 -> case {__pkg_ccall hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x hashable_fnv_hash_offset GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Int# #)} ww7 (GHC.Prim.uncheckedIShiftL# ww8 1#) (GHC.Prim.uncheckedIShiftL# ww9 1#) ww1 GHC.Prim.realWorld# of wild1 { (#,#) ds1 ds2 -> GHC.Types.I# ds2 } } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fInternedSymbol :: Data.Interned.Internal.Interned Language.Fixpoint.Types.Names.Symbol DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fEqDescription Language.Fixpoint.Types.Names.$fHashableDescription (\ (tpl :: Data.Text.Internal.Text) -> tpl) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])) ->_R Trans (Sym (Language.Fixpoint.Types.Names.N:R:DescriptionSymbol[0])) (Sym (Language.Fixpoint.Types.Names.D:R:DescriptionSymbol0[0]))) Language.Fixpoint.Types.Names.$fInternedSymbol_$cidentify Language.Fixpoint.Types.Names.$fInternedSymbol_$s$dmseedIdentity Language.Fixpoint.Types.Names.$fInternedSymbol_$s$dmcacheWidth Language.Fixpoint.Types.Names.$fInternedSymbol_$s$dmmodifyAdvice Language.Fixpoint.Types.Names.$fInternedSymbol_$ccache -} 48f09ac5554b5659507cdde0ca23f8ac $fInternedSymbol_$ccache :: Data.Interned.Internal.Cache Language.Fixpoint.Types.Names.Symbol {- Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.sCache -} 48f09ac5554b5659507cdde0ca23f8ac $fInternedSymbol_$cidentify :: Data.Interned.Internal.Id -> Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Data.Interned.Internal.Id) (w1 :: Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol) -> case w of ww { GHC.Types.I# ww1 -> case w1 `cast` (Sub (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])) of ww2 { Data.Text.Internal.Text ww3 ww4 ww5 -> case Language.Fixpoint.Types.Names.$w$cidentify ww1 ww3 ww4 ww5 of ww6 { (#,,#) ww7 ww8 ww9 -> Language.Fixpoint.Types.Names.S ww7 ww8 ww9 } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fInternedSymbol_$s$dmcacheWidth :: p Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (-1, True, True) (\ @ (p :: * -> *) (ds :: p Language.Fixpoint.Types.Names.Symbol) -> Data.Interned.Internal.defaultCacheWidth) -} 48f09ac5554b5659507cdde0ca23f8ac $fInternedSymbol_$s$dmmodifyAdvice :: GHC.Types.IO Language.Fixpoint.Types.Names.Symbol -> GHC.Types.IO Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, True) (GHC.Base.id @ (GHC.Types.IO Language.Fixpoint.Types.Names.Symbol)) -} 48f09ac5554b5659507cdde0ca23f8ac $fInternedSymbol_$s$dmseedIdentity :: p Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Id {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (-1, True, True) (\ @ (p :: * -> *) (ds :: p Language.Fixpoint.Types.Names.Symbol) -> GHC.Types.I# 0#) -} 48f09ac5554b5659507cdde0ca23f8ac $fIsStringSymbol :: Data.String.IsString Language.Fixpoint.Types.Names.Symbol DFunId {- Arity: 1, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Types.Names.$fIsStringSymbol_$cfromString `cast` (Sym (Data.String.N:IsString[0]) _N) -} 5bc6750ea1ec45d7d9fe49e181ea0341 $fIsStringSymbol1 :: GHC.Types.Int {- HasNoCafRefs, Unfolding: (GHC.Types.I# 4#) -} 48f09ac5554b5659507cdde0ca23f8ac $fIsStringSymbol_$cfromString :: GHC.Base.String -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: (\ (x :: GHC.Base.String) -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds1 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 x 0# ipv }) of ds1 { (#,#) ipv ipv1 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) }) -} 48f09ac5554b5659507cdde0ca23f8ac $fNFDataSymbol :: Control.DeepSeq.NFData Language.Fixpoint.Types.Names.Symbol DFunId {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Types.Names.$fNFDataSymbol_$crnf `cast` (Sym (Control.DeepSeq.N:NFData[0] _N)) -} 48f09ac5554b5659507cdde0ca23f8ac $fNFDataSymbol_$crnf :: Language.Fixpoint.Types.Names.Symbol -> () {- Arity: 1, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> GHC.Tuple.() }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fEqSymbol Language.Fixpoint.Types.Names.$fOrdSymbol_$ccompare Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm< Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm<= Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm> Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm>= Language.Fixpoint.Types.Names.$fOrdSymbol_$cmax Language.Fixpoint.Types.Names.$fOrdSymbol_$cmin -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$ccompare :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Ordering {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) (ds1 :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds2 ds3 -> case ds1 of wild1 { Language.Fixpoint.Types.Names.S dt1 ds4 ds5 -> GHC.Classes.compareInt# dt dt1 } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$cmax :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case y of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild2 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) of wild3 { GHC.Types.False -> wild GHC.Types.True -> wild1 } GHC.Types.True -> wild1 } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$cmin :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case y of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# dt dt1) of wild2 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) of wild3 { GHC.Types.False -> wild1 GHC.Types.True -> wild } GHC.Types.True -> wild } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$s$dm< :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> case Language.Fixpoint.Types.Names.$fOrdSymbol_$ccompare x y of wild { DEFAULT -> GHC.Types.False GHC.Types.LT -> GHC.Types.True }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$s$dm<= :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> case Language.Fixpoint.Types.Names.$fOrdSymbol_$ccompare x y of wild { DEFAULT -> GHC.Types.True GHC.Types.GT -> GHC.Types.False }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$s$dm> :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> case Language.Fixpoint.Types.Names.$fOrdSymbol_$ccompare x y of wild { DEFAULT -> GHC.Types.False GHC.Types.GT -> GHC.Types.True }) -} 48f09ac5554b5659507cdde0ca23f8ac $fOrdSymbol_$s$dm>= :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (-1, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (y :: Language.Fixpoint.Types.Names.Symbol) -> case Language.Fixpoint.Types.Names.$fOrdSymbol_$ccompare x y of wild { DEFAULT -> GHC.Types.True GHC.Types.LT -> GHC.Types.False }) -} 48f09ac5554b5659507cdde0ca23f8ac $fPPrintSymbol :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Types.Names.Symbol DFunId {- HasNoCafRefs, Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fPPrintSymbol_$cpprintTidy Language.Fixpoint.Types.Names.$fPPrintSymbol_$cpprintPrec -} 48f09ac5554b5659507cdde0ca23f8ac $fPPrintSymbol1 :: Language.Fixpoint.Types.Names.Symbol -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 1, HasNoCafRefs, Strictness: m3, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case Language.Fixpoint.Types.Names.$wlvl ww5 ww6 ww7 of ww8 { (#,#) ww9 ww10 -> (Text.PrettyPrint.Annotated.HughesPJ.TextBeside @ () ww9 ww10) `cast` (Sym (Text.PrettyPrint.HughesPJ.N:Doc[0])) } } }) -} 48f09ac5554b5659507cdde0ca23f8ac $fPPrintSymbol_$cpprintPrec :: GHC.Types.Int -> Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Names.Symbol -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 3, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: GHC.Types.Int) (eta :: Language.Fixpoint.Types.PrettyPrint.Tidy) -> Language.Fixpoint.Types.Names.$fPPrintSymbol_$cpprintTidy eta) -} 48f09ac5554b5659507cdde0ca23f8ac $fPPrintSymbol_$cpprintTidy :: Language.Fixpoint.Types.PrettyPrint.Tidy -> Language.Fixpoint.Types.Names.Symbol -> Text.PrettyPrint.HughesPJ.Doc {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (1, True, True) (\ (ds :: Language.Fixpoint.Types.PrettyPrint.Tidy) (eta :: Language.Fixpoint.Types.Names.Symbol) -> Language.Fixpoint.Types.Names.$fPPrintSymbol1 eta) -} 48f09ac5554b5659507cdde0ca23f8ac $fShowSymbol :: GHC.Show.Show Language.Fixpoint.Types.Names.Symbol DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fShowSymbol_$s$dmshowsPrec Language.Fixpoint.Types.Names.$fShowSymbol_$cshow Language.Fixpoint.Types.Names.$fShowSymbol_$cshowList -} 48f09ac5554b5659507cdde0ca23f8ac $fShowSymbol1 :: Language.Fixpoint.Types.Names.Symbol -> GHC.Show.ShowS {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) (s :: GHC.Base.String) -> case Data.Text.Show.$w$cshow (case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> ds }) of ww { (#,#) ww1 ww2 -> GHC.Base.augment @ GHC.Types.Char (\ @ b (c :: GHC.Types.Char -> b -> b)[OneShot] (n :: b)[OneShot] -> GHC.Base.foldr @ GHC.Types.Char @ b c n (GHC.Types.: @ GHC.Types.Char ww1 ww2)) s }) -} 48f09ac5554b5659507cdde0ca23f8ac $fShowSymbol_$cshow :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String {- Arity: 1, Strictness: m2, Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) -> case Data.Text.Show.$w$cshow (case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> ds }) of ww { (#,#) ww1 ww2 -> GHC.Types.: @ GHC.Types.Char ww1 ww2 }) -} 48f09ac5554b5659507cdde0ca23f8ac $fShowSymbol_$cshowList :: [Language.Fixpoint.Types.Names.Symbol] -> GHC.Show.ShowS {- Arity: 2, Strictness: , Unfolding: (\ (ls :: [Language.Fixpoint.Types.Names.Symbol]) (s :: GHC.Base.String) -> GHC.Show.showList__ @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fShowSymbol1 ls s) -} 48f09ac5554b5659507cdde0ca23f8ac $fShowSymbol_$s$dmshowsPrec :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol -> GHC.Show.ShowS {- Arity: 3, Strictness: , Unfolding: InlineRule (-1, True, False) (\ (ds :: GHC.Types.Int) (x :: Language.Fixpoint.Types.Names.Symbol) (s :: GHC.Base.String) -> GHC.Base.augment @ GHC.Types.Char (\ @ b (c :: GHC.Types.Char -> b -> b)[OneShot] (n :: b)[OneShot] -> GHC.Base.foldr @ GHC.Types.Char @ b c n (Language.Fixpoint.Types.Names.$fShowSymbol_$cshow x)) s) -} 0626e8bb4c60b162c8065dcfe58d4ead $fSymbolicLocated :: Language.Fixpoint.Types.Names.Symbolic a => Language.Fixpoint.Types.Names.Symbolic (Language.Fixpoint.Types.Spans.Located a) DFunId {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (1, False, True) Language.Fixpoint.Types.Names.$fSymbolicLocated_$csymbol `cast` (forall (a :: <*>_N). _R ->_R Sym (Language.Fixpoint.Types.Names.N:Symbolic[0] _N)) -} 0626e8bb4c60b162c8065dcfe58d4ead $fSymbolicLocated_$csymbol :: Language.Fixpoint.Types.Names.Symbolic a => Language.Fixpoint.Types.Spans.Located a -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dSymbolic :: Language.Fixpoint.Types.Names.Symbolic a) (eta :: Language.Fixpoint.Types.Spans.Located a) -> $dSymbolic `cast` (Language.Fixpoint.Types.Names.N:Symbolic[0] _N) (Language.Fixpoint.Types.Spans.val @ a eta)) -} 0626e8bb4c60b162c8065dcfe58d4ead $fSymbolicSymbol :: Language.Fixpoint.Types.Names.Symbolic Language.Fixpoint.Types.Names.Symbol DFunId {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) (GHC.Base.id @ Language.Fixpoint.Types.Names.Symbol) `cast` (Sym (Language.Fixpoint.Types.Names.N:Symbolic[0] _N)) -} 0626e8bb4c60b162c8065dcfe58d4ead $fSymbolicText :: Language.Fixpoint.Types.Names.Symbolic Data.Text.Internal.Text DFunId {- Arity: 1, Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Types.Names.textSymbol `cast` (Sym (Language.Fixpoint.Types.Names.N:Symbolic[0] _N)) -} 4dd7ddd95b340f72c15b998d88681c1b $fSymbolicText1 :: Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol) -} 0626e8bb4c60b162c8065dcfe58d4ead $fSymbolic[] :: Language.Fixpoint.Types.Names.Symbolic GHC.Base.String DFunId {- Arity: 1, Strictness: , Inline: INLINE (sat-args=0), Unfolding: InlineRule (0, False, True) Language.Fixpoint.Types.Names.$fSymbolic[]_$csymbol `cast` (Sym (Language.Fixpoint.Types.Names.N:Symbolic[0] _N)) -} f6733c6759134dd02e11fe2c6c6a2822 $fSymbolic[]_$csymbol :: GHC.Base.String -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: (\ (x :: GHC.Base.String) -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds1 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter1 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 x 0# ipv }) of ds1 { (#,#) ipv ipv1 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) }) -} 48f09ac5554b5659507cdde0ca23f8ac $fUninternableSymbol :: Data.Interned.Internal.Uninternable Language.Fixpoint.Types.Names.Symbol DFunId {- Strictness: m, Inline: [ALWAYS] CONLIKE, Unfolding: DFun:. @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.$fUninternableSymbol_$cunintern -} 48f09ac5554b5659507cdde0ca23f8ac $fUninternableSymbol_$cunintern :: Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt t ds1 -> t `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) }) -} 1ea30fe8143fe8d7ba45fa5c834a8895 $s$wupdateOrConcatWithKey :: (GHC.Types.Char -> v -> v -> v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ @ v (w1 :: GHC.Types.Char -> v -> v -> v) (ww :: GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v)) (ww1 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v)) -> let { wild1 :: GHC.Prim.Int# = GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww1 } in case GHC.Prim.newArray# @ (GHC.Base.Maybe GHC.Types.Int) @ GHC.Prim.RealWorld wild1 (Data.HashMap.Array.undefinedElem @ (GHC.Base.Maybe GHC.Types.Int)) GHC.Prim.realWorld# of ds { (#,#) ipv ipv1 -> letrec { $wgo2 :: forall s. Data.HashMap.Array.Array (Data.HashMap.Base.Leaf GHC.Types.Char v) -> Data.HashMap.Array.MArray s (GHC.Base.Maybe GHC.Types.Int) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.State# s -> (# GHC.Prim.State# s, Data.HashMap.Array.MArray s (GHC.Base.Maybe GHC.Types.Int) #) {- Arity: 5, Strictness: , Inline: [0] -} = \ @ s (w :: Data.HashMap.Array.Array (Data.HashMap.Base.Leaf GHC.Types.Char v)) (w2 :: Data.HashMap.Array.MArray s (GHC.Base.Maybe GHC.Types.Int)) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (w3 :: GHC.Prim.State# s)[OneShot] -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww2 ww3) of wild2 { GHC.Types.False -> case w2 of wild3 { Data.HashMap.Array.MArray ds1 -> case GHC.Prim.writeArray# @ s @ (GHC.Base.Maybe GHC.Types.Int) ds1 ww2 (case w of wild4 { Data.HashMap.Array.Array ds2 -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ds2 ww2 of ds4 { Unit# ipv2 -> case ipv2 of wild5 { Data.HashMap.Base.L k1 ds3 -> case k1 of ww4 { GHC.Types.C# ww5 -> Language.Fixpoint.Types.Names.$wpoly_go1 @ v ww5 ww 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww) } } } }) w3 of s' { DEFAULT -> $wgo2 @ s w wild3 (GHC.Prim.+# ww2 1#) ww3 s' } } GHC.Types.True -> (# w3, w2 #) } } in case $wgo2 @ GHC.Prim.RealWorld (Data.HashMap.Array.Array @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww1) (Data.HashMap.Array.$WMArray @ GHC.Prim.RealWorld @ (GHC.Base.Maybe GHC.Types.Int) ipv1) 0# wild1 ipv of ds1 { (#,#) ipv2 ipv3 -> case ipv3 of wild { Data.HashMap.Array.MArray ds2 -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (GHC.Base.Maybe GHC.Types.Int) ds2 ipv2 of ds3 { (#,#) ipv4 ipv5 -> case Language.Fixpoint.Types.Names.$wgo1 (Data.HashMap.Array.Array @ (GHC.Base.Maybe GHC.Types.Int) ipv5) (GHC.Prim.sizeofArray# @ (GHC.Base.Maybe GHC.Types.Int) ipv5) 0# 0# of ww2 { DEFAULT -> let { n1 :: GHC.Prim.Int# = GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww } in case GHC.Prim.newArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) @ GHC.Prim.RealWorld (GHC.Prim.+# n1 ww2) (Data.HashMap.Array.undefinedElem @ (Data.HashMap.Base.Leaf GHC.Types.Char v)) GHC.Prim.realWorld# of ds4 { (#,#) ipv7 ipv8 -> case GHC.Prim.copyArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) @ GHC.Prim.RealWorld ww 0# ipv8 0# n1 ipv7 of s2 { DEFAULT -> letrec { $wgo3 :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) {- Arity: 3, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) (ww4 :: GHC.Prim.Int#) (w :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww4 wild1) of wild2 { GHC.Types.False -> case GHC.Prim.indexArray# @ (GHC.Base.Maybe GHC.Types.Int) ipv5 ww4 of ds5 { Unit# ipv9 -> case ipv9 of wild3 { GHC.Base.Nothing -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww1 ww4 of ds6 { Unit# ipv10 -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv8 ww3 ipv10 w of s' { DEFAULT -> $wgo3 (GHC.Prim.+# ww3 1#) (GHC.Prim.+# ww4 1#) s' } } GHC.Base.Just i3 -> case i3 of wild4 { GHC.Types.I# i# -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww i# of ds6 { Unit# ipv10 -> case ipv10 of wild5 { Data.HashMap.Base.L k1 v1 -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww1 ww4 of ds7 { Unit# ipv6 -> case ipv6 of wild6 { Data.HashMap.Base.L ds8 v2 -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv8 i# (Data.HashMap.Base.L @ GHC.Types.Char @ v k1 (w1 k1 v1 v2)) w of s' { DEFAULT -> $wgo3 ww3 (GHC.Prim.+# ww4 1#) s' } } } } } } } } GHC.Types.True -> (# w, GHC.Tuple.() #) } } in case $wgo3 n1 0# s2 of ds5 { (#,#) ipv9 ipv10 -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv8 ipv9 of ds6 { (#,#) ipv11 ipv12 -> ipv12 } } } } } } } } }) -} b27dbb30d784ae31381281f8f95e1a47 $slookup2 :: GHC.Types.Int {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.I# 0#) -} ef77efd7be73c1a87a8aff0d95b81bcf $t8wIVoHaUdCGCnqCEqihGgP :: Data.Data.DataType {- Strictness: m, Unfolding: (Data.Data.DataType Language.Fixpoint.Types.Names.$fDataInternedText4 Language.Fixpoint.Types.Names.$fDataInternedText2) -} 360e7d289d4789c9f1831fca021036f9 $tAej1sndbM6DDTVZTHjMcUS :: Data.Data.DataType {- Strictness: m, Unfolding: (Data.Data.DataType Language.Fixpoint.Types.Names.$fDataSymbol4 Language.Fixpoint.Types.Names.$fDataSymbol2) -} 8216273dd684cb15fa24daf9b598f89a $tc'C:Symbolic :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 2387456145185633769## 545144060267998057## Language.Fixpoint.Types.Names.$trModule Language.Fixpoint.Types.Names.$tc'C:Symbolic1) -} 74d1f38a8910d650c7841ffa5639e063 $tc'C:Symbolic1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'C:Symbolic"#) -} 3e1d9488214db15b6fa6618c98af9459 $tc'S :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 17914497818095210173## 827802848045683749## Language.Fixpoint.Types.Names.$trModule Language.Fixpoint.Types.Names.$tc'S1) -} 0d8951582076a288ed323b049f229750 $tc'S1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "'S"#) -} 5d37c057a244783d19475da056afa95d $tcSymbol :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 8981628712049838859## 18007897414829905084## Language.Fixpoint.Types.Names.$trModule Language.Fixpoint.Types.Names.$tcSymbol1) -} 80ec2bd64b297eb52e76de6b6b3c5784 $tcSymbol1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Symbol"#) -} c1327a2f842e8113cec8c0010e158eac $tcSymbolic :: GHC.Types.TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.TyCon 34212036879190630## 16819331989270215913## Language.Fixpoint.Types.Names.$trModule Language.Fixpoint.Types.Names.$tcSymbolic1) -} 114ead5f12e2eac5608e137444bd1f61 $tcSymbolic1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Symbolic"#) -} e53c777c937e2c24c8c4a558731ca9f9 $trModule :: GHC.Types.Module {- HasNoCafRefs, Strictness: m, Unfolding: (GHC.Types.Module Language.Fixpoint.Types.Names.$trModule2 Language.Fixpoint.Types.Names.$trModule1) -} 1a7ff1c264b5304315eacae70f637058 $trModule1 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "Language.Fixpoint.Types.Names"#) -} 58264ec012af8a94284743586bd86b72 $trModule2 :: GHC.Types.TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (GHC.Types.TrNameS "liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf"#) -} 48f09ac5554b5659507cdde0ca23f8ac $w$cget :: GHC.Prim.Addr# -> GHC.ForeignPtr.ForeignPtrContents -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Binary.Get.Internal.Success Language.Fixpoint.Types.Names.Symbol r -> Data.Binary.Get.Internal.Decoder r {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ r (ww :: GHC.Prim.Addr#) (ww1 :: GHC.ForeignPtr.ForeignPtrContents) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (w :: Data.Binary.Get.Internal.Success Language.Fixpoint.Types.Names.Symbol r) -> Data.Text.$w$cget @ r ww ww1 ww2 ww3 (\ (i' :: Data.ByteString.Internal.ByteString) (a1 :: Data.Text.Internal.Text)[OneShot] -> w i' (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol a1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))))) -} 2db53e0fcac1cc13c5bef69e3ea033c6 $w$cgfoldl :: (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> c Data.Interned.Internal.Text.InternedText {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ (c :: * -> *) (w :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w1 :: forall g. g -> c g) (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) -> w @ Data.Text.Internal.Text @ Data.Interned.Internal.Text.InternedText Data.Text.$fDataText (w @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Data.$fDataInt (w1 @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Interned.Internal.Text.$WInternedText) (GHC.Types.I# ww)) (Data.Text.Internal.Text ww1 ww2 ww3)) -} 48f09ac5554b5659507cdde0ca23f8ac $w$cgfoldl1 :: (forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> c Language.Fixpoint.Types.Names.Symbol {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ (c :: * -> *) (w :: forall d b. Data.Data.Data d => c (d -> b) -> d -> c b) (w1 :: forall g. g -> c g) (ww :: GHC.Prim.Int#) (ww1 :: Data.Text.Internal.Text) (ww2 :: Data.Text.Internal.Text) -> w @ Data.Text.Internal.Text @ Language.Fixpoint.Types.Names.Symbol Data.Text.$fDataText (w @ Data.Text.Internal.Text @ (Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Text.$fDataText (w @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Data.$fDataInt (w1 @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Language.Fixpoint.Types.Names.$WS) (GHC.Types.I# ww)) ww1) ww2) -} 3b33a92d373ede593f7b5797fc0a8924 $w$cgmapM :: GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> m Data.Interned.Internal.Text.InternedText {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ (m :: * -> *) (w :: GHC.Base.Monad m) (w1 :: forall d. Data.Data.Data d => d -> m d) (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) -> let { k :: forall d b. Data.Data.Data d => m (d -> b) -> d -> m b {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (c :: m (d -> b))[OneShot] (x :: d)[OneShot] -> let { lvl40 :: m d = w1 @ d $dData1 x } in GHC.Base.>>= @ m w @ (d -> b) @ b c (\ (c' :: d -> b) -> GHC.Base.>>= @ m w @ d @ b lvl40 (\ (x' :: d) -> GHC.Base.return @ m w @ b (c' x'))) } in k @ Data.Text.Internal.Text @ Data.Interned.Internal.Text.InternedText Data.Text.$fDataText (k @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Data.$fDataInt (GHC.Base.return @ m w @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Interned.Internal.Text.InternedText) Data.Interned.Internal.Text.$WInternedText) (GHC.Types.I# ww)) (Data.Text.Internal.Text ww1 ww2 ww3)) -} 48f09ac5554b5659507cdde0ca23f8ac $w$cgmapM1 :: GHC.Base.Monad m => (forall d. Data.Data.Data d => d -> m d) -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> m Language.Fixpoint.Types.Names.Symbol {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ (m :: * -> *) (w :: GHC.Base.Monad m) (w1 :: forall d. Data.Data.Data d => d -> m d) (ww :: GHC.Prim.Int#) (ww1 :: Data.Text.Internal.Text) (ww2 :: Data.Text.Internal.Text) -> let { k :: forall d b. Data.Data.Data d => m (d -> b) -> d -> m b {- Arity: 3, Strictness: -} = \ @ d @ b ($dData1 :: Data.Data.Data d) (c :: m (d -> b))[OneShot] (x :: d)[OneShot] -> let { lvl40 :: m d = w1 @ d $dData1 x } in GHC.Base.>>= @ m w @ (d -> b) @ b c (\ (c' :: d -> b) -> GHC.Base.>>= @ m w @ d @ b lvl40 (\ (x' :: d) -> GHC.Base.return @ m w @ b (c' x'))) } in k @ Data.Text.Internal.Text @ Language.Fixpoint.Types.Names.Symbol Data.Text.$fDataText (k @ Data.Text.Internal.Text @ (Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Text.$fDataText (k @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Data.$fDataInt (GHC.Base.return @ m w @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Language.Fixpoint.Types.Names.$WS) (GHC.Types.I# ww)) ww1) ww2) -} 368078bb2ddc6f944f33bc5039953129 $w$cgmapQi :: GHC.Prim.Int# -> (forall d. Data.Data.Data d => d -> u) -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> u {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ u (ww :: GHC.Prim.Int#) (w :: forall d. Data.Data.Data d => d -> u) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.ByteArray#) (ww3 :: GHC.Prim.Int#) (ww4 :: GHC.Prim.Int#) -> case ww of wild { DEFAULT -> Data.Maybe.fromJust1 @ u 0# -> w @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww1) 1# -> w @ Data.Text.Internal.Text Data.Text.$fDataText (Data.Text.Internal.Text ww2 ww3 ww4) }) -} ed670f0311b15cbf5217d58c385b2a7c $w$cgmapQi1 :: GHC.Prim.Int# -> (forall d. Data.Data.Data d => d -> u) -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> u {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ u (ww :: GHC.Prim.Int#) (w :: forall d. Data.Data.Data d => d -> u) (ww1 :: GHC.Prim.Int#) (ww2 :: Data.Text.Internal.Text) (ww3 :: Data.Text.Internal.Text) -> case ww of wild { DEFAULT -> Data.Maybe.fromJust1 @ u 0# -> w @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww1) 1# -> w @ Data.Text.Internal.Text Data.Text.$fDataText ww2 2# -> w @ Data.Text.Internal.Text Data.Text.$fDataText ww3 }) -} e49e5090ac33a33ce3f1db782e7c7fdd $w$cgmapQl :: (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> r {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ r @ r' (w :: r -> r' -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) -> w (w w1 (w2 @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww))) (w2 @ Data.Text.Internal.Text Data.Text.$fDataText (Data.Text.Internal.Text ww1 ww2 ww3))) -} ebde412a665a7c037454551e9d5e8986 $w$cgmapQl1 :: (r -> r' -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> r {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ r @ r' (w :: r -> r' -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (ww :: GHC.Prim.Int#) (ww1 :: Data.Text.Internal.Text) (ww2 :: Data.Text.Internal.Text) -> w (w (w w1 (w2 @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww))) (w2 @ Data.Text.Internal.Text Data.Text.$fDataText ww1)) (w2 @ Data.Text.Internal.Text Data.Text.$fDataText ww2)) -} e65cfe6099c1e61945f6af2761bd58fb $w$cgmapQr :: (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> r {- Arity: 7, Strictness: , Inline: [0], Unfolding: (\ @ r @ r' (w :: r' -> r -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) -> w (w2 @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww)) (w (w2 @ Data.Text.Internal.Text Data.Text.$fDataText (Data.Text.Internal.Text ww1 ww2 ww3)) w1)) -} 88479144b9c713b122f263614209b0dd $w$cgmapQr1 :: (r' -> r -> r) -> r -> (forall d. Data.Data.Data d => d -> r') -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> r {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ @ r @ r' (w :: r' -> r -> r) (w1 :: r) (w2 :: forall d. Data.Data.Data d => d -> r') (ww :: GHC.Prim.Int#) (ww1 :: Data.Text.Internal.Text) (ww2 :: Data.Text.Internal.Text) -> w (w2 @ Data.Interned.Internal.Id Data.Data.$fDataInt (GHC.Types.I# ww)) (w (w2 @ Data.Text.Internal.Text Data.Text.$fDataText ww1) (w (w2 @ Data.Text.Internal.Text Data.Text.$fDataText ww2) w1))) -} 48f09ac5554b5659507cdde0ca23f8ac $w$cgunfold :: (forall b r. Data.Data.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> c Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: [0], Unfolding: (\ @ (c :: * -> *) (w :: forall b r. Data.Data.Data b => c (b -> r) -> c r) (w1 :: forall r. r -> c r) -> w @ Data.Text.Internal.Text @ Language.Fixpoint.Types.Names.Symbol Data.Text.$fDataText (w @ Data.Text.Internal.Text @ (Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Text.$fDataText (w @ Data.Interned.Internal.Id @ (Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Data.Data.$fDataInt (w1 @ (Data.Interned.Internal.Id -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol) Language.Fixpoint.Types.Names.$WS)))) -} a2ed49bb184c515f4ee18687ea791409 $w$cidentify :: GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# GHC.Prim.Int#, Data.Text.Internal.Text, Data.Text.Internal.Text #) {- Arity: 4, Strictness: , Inline: [0] -} 7232e4762ce0b91c9a5f3f5e2663bf1c $w$ctoFix :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 6, Strictness: , Inline: [0] -} 86d4e7ca1936342b6b0052ee026ce7e8 $w$ctoFix1 :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> let { end :: GHC.Prim.Int# = GHC.Prim.+# ww1 ww2 } in letrec { $wunfold :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww3 end) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww ww3 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# ww (GHC.Prim.+# ww3 1#) of r#1 { DEFAULT -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#))) ($wunfold (GHC.Prim.+# ww3 2#)) } } } } GHC.Types.True -> GHC.Types.[] @ GHC.Types.Char } } in let { s :: GHC.Base.String = $wunfold ww1 } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww3 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww3, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) }) -} aac1f8ffabd7f1bc5c4f1b41d5e8f459 $w$s$wupdateOrSnocWithKey :: (GHC.Types.Char -> v -> v -> v) -> GHC.Prim.Char# -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) {- Arity: 4, Strictness: , Inline: [0], Unfolding: (\ @ v (w :: GHC.Types.Char -> v -> v -> v) (ww :: GHC.Prim.Char#) (w1 :: v) (w2 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v)) -> letrec { $wgo2 :: GHC.Prim.Char# -> v -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) {- Arity: 5, Strictness: , Inline: [0] -} = \ (ww1 :: GHC.Prim.Char#) (w3 :: v) (ww2 :: GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v)) (ww3 :: GHC.Prim.Int#) (ww4 :: GHC.Prim.Int#) -> let { k2 :: GHC.Types.Char = GHC.Types.C# ww1 } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww3 ww4) of wild { GHC.Types.False -> case GHC.Prim.indexArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww2 ww3 of ds { Unit# ipv3 -> case ipv3 of wild1 { Data.HashMap.Base.L kx y -> case kx of wild2 { GHC.Types.C# y1 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.eqChar# ww1 y1) of wild3 { GHC.Types.False -> $wgo2 ww1 w3 ww2 (GHC.Prim.+# ww3 1#) ww4 GHC.Types.True -> case GHC.Prim.thawArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) @ GHC.Prim.RealWorld ww2 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ww2) GHC.Prim.realWorld# of ds1 { (#,#) ipv4 ipv5 -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv5 ww3 (Data.HashMap.Base.L @ GHC.Types.Char @ v k2 (w k2 w3 y)) ipv4 of s' { DEFAULT -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv5 s' of ds2 { (#,#) ipv6 ipv7 -> ipv7 } } } } } } } GHC.Types.True -> case GHC.Prim.newArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) @ GHC.Prim.RealWorld (GHC.Prim.+# ww4 1#) (Data.HashMap.Array.undefinedElem @ (Data.HashMap.Base.Leaf GHC.Types.Char v)) GHC.Prim.realWorld# of ds { (#,#) ipv3 ipv4 -> case GHC.Prim.copyArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) @ GHC.Prim.RealWorld ww2 0# ipv4 0# ww4 ipv3 of s2 { DEFAULT -> case GHC.Prim.writeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv4 ww4 (Data.HashMap.Base.L @ GHC.Types.Char @ v k2 w3) s2 of s' { DEFAULT -> case GHC.Prim.unsafeFreezeArray# @ GHC.Prim.RealWorld @ (Data.HashMap.Base.Leaf GHC.Types.Char v) ipv4 s' of ds1 { (#,#) ipv5 ipv6 -> ipv6 } } } } } } in $wgo2 ww w1 w2 0# (GHC.Prim.sizeofArray# @ (Data.HashMap.Base.Leaf GHC.Types.Char v) w2)) -} 0a6d38121743028ee80bf22b2e7e8580 $w$sintSymbol :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Language.Fixpoint.Types.Names.Symbol {- Arity: 4, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append (Data.Text.Internal.Text ww ww1 ww2) ds) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case GHC.Show.$wshowSignedInt 0# ww3 (GHC.Types.[] @ GHC.Types.Char) of ww4 { (#,#) ww5 ww6 -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds4 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter2 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 (GHC.Types.: @ GHC.Types.Char ww5 ww6) 0# ipv }) of ds4 { (#,#) ipv ipv1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild2 { Language.Fixpoint.Types.Names.S dt2 ds5 ds6 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds2 ds5) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } } }) -} 102f5394096f25fa7ce63059284c884b $w$slookup :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Data.Text.Internal.Text v -> GHC.Base.Maybe v {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ @ v (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (w :: Data.HashMap.Base.HashMap Data.Text.Internal.Text v) -> case {__pkg_ccall hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x hashable_fnv_hash_offset GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Int# #)} ww (GHC.Prim.uncheckedIShiftL# ww1 1#) (GHC.Prim.uncheckedIShiftL# ww2 1#) -2578643520546668380# GHC.Prim.realWorld# of wild1 { (#,#) ds1 ds2 -> Language.Fixpoint.Types.Names.$wpoly_go5 @ v (GHC.Prim.int2Word# ds2) ww ww1 ww2 0# w }) -} 6433279c75491d88c7d9c6929bf9a814 $wconsSym :: GHC.Prim.Char# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Language.Fixpoint.Types.Names.Symbol {- Arity: 4, Strictness: , Inline: [0] -} 8d10026b26b0714b92ccb749185dd2bf $wdropSym :: GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Language.Fixpoint.Types.Names.Symbol {- Arity: 4, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# ww 0#) of wild2 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww ww3) of wild3 { GHC.Types.False -> case Data.Text.$witerN (GHC.Types.I# ww) ww1 ww2 ww3 of ww4 { DEFAULT -> case GHC.Prim.-# ww3 ww4 of wild5 { DEFAULT -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.Internal.Text ww1 (GHC.Prim.+# ww2 ww4) wild5) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) 0# -> Language.Fixpoint.Types.Names.dropSym1 } } GHC.Types.True -> Language.Fixpoint.Types.Names.dropSym1 } GHC.Types.True -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.Internal.Text ww1 ww2 ww3) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) }) -} 14c3efd01e780fa9eb9ea3d12e98f675 $wgo1 :: Data.HashMap.Array.Array (GHC.Base.Maybe GHC.Types.Int) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 40a99eac2bb939d487d2f3dd15c58646 $wintSymbol :: GHC.Show.Show a => GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> a -> Language.Fixpoint.Types.Names.Symbol {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ @ a (w :: GHC.Show.Show a) (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (w1 :: a) -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append (Data.Text.Internal.Text ww ww1 ww2) ds) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case GHC.Show.show @ a w w1 of dt2 { DEFAULT -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds4 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter6 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 dt2 0# ipv }) of ds4 { (#,#) ipv ipv1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild2 { Language.Fixpoint.Types.Names.S dt3 ds5 ds6 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds2 ds5) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } } }) -} 2e07c7168e6cf9e1df49f3c21b9c8bf4 $wisPrefixOfSym :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 6, HasNoCafRefs, Strictness: , Inline: [0] -} 9e087219898dd520c73d1dae277c5a35 $wisSuffixOfSym :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool {- Arity: 6, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.ByteArray#) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) -> let { d :: GHC.Prim.Int# = GHC.Prim.-# ww5 ww2 } in case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# d 0#) of wild { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case d of wild1 { DEFAULT -> case {__pkg_ccall text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR _hs_text_memcmp GHC.Prim.ByteArray# -> GHC.Prim.Word# -> GHC.Prim.ByteArray# -> GHC.Prim.Word# -> GHC.Prim.Word# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Int# #)} ww (GHC.Prim.int2Word# ww1) ww3 (GHC.Prim.int2Word# (GHC.Prim.+# ww4 wild1)) (GHC.Prim.int2Word# ww2) GHC.Prim.realWorld# of wild2 { (#,#) ds11 ds12 -> case GHC.Prim.narrow32Int# ds12 of wild3 { DEFAULT -> GHC.Types.False 0# -> GHC.Types.True } } 0# -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# ww2 ww5) of wild2 { GHC.Types.False -> GHC.Types.False GHC.Types.True -> case {__pkg_ccall text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR _hs_text_memcmp GHC.Prim.ByteArray# -> GHC.Prim.Word# -> GHC.Prim.ByteArray# -> GHC.Prim.Word# -> GHC.Prim.Word# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Prim.Int# #)} ww (GHC.Prim.int2Word# ww1) ww3 (GHC.Prim.int2Word# ww4) (GHC.Prim.int2Word# ww2) GHC.Prim.realWorld# of wild3 { (#,#) ds11 ds12 -> case GHC.Prim.narrow32Int# ds12 of wild4 { DEFAULT -> GHC.Types.False 0# -> GHC.Types.True } } } } }) -} d346b749c3d19fe700da9f177826ff2d $wkArgSymbol :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Language.Fixpoint.Types.Names.Symbol {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.ByteArray#) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) -> case Language.Fixpoint.Types.Names.kArgPrefix of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds (Data.Text.Internal.Text ww ww1 ww2)) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild2 { Language.Fixpoint.Types.Names.S dt2 ds4 ds5 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds2 ds4) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild3 { Language.Fixpoint.Types.Names.S dt3 ds6 ds7 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds6 (Data.Text.Internal.Text ww3 ww4 ww5)) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } }) -} fc94008ba213b3d7ca8f359ddc058e06 $wlengthSym :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> let { end :: GHC.Prim.Int# = GHC.Prim.+# ww1 ww2 } in letrec { $wloop_length :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# {- Arity: 2, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) (ww4 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww4 end) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww ww4 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> $wloop_length (GHC.Prim.+# ww3 1#) (GHC.Prim.+# ww4 1#) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> $wloop_length (GHC.Prim.+# ww3 1#) (GHC.Prim.+# ww4 1#) GHC.Types.True -> $wloop_length (GHC.Prim.+# ww3 1#) (GHC.Prim.+# ww4 2#) } } } GHC.Types.True -> ww3 } } in $wloop_length 0# ww1) -} 64753813837ea7bb233f2800f7d2fc28 $wlvl :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> (# Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails (), Text.PrettyPrint.Annotated.HughesPJ.Doc () #) {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> let { end :: GHC.Prim.Int# = GHC.Prim.+# ww1 ww2 } in letrec { $wunfold :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww3 end) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww ww3 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# ww (GHC.Prim.+# ww3 1#) of r#1 { DEFAULT -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#))) ($wunfold (GHC.Prim.+# ww3 2#)) } } } } GHC.Types.True -> GHC.Types.[] @ GHC.Types.Char } } in let { s :: GHC.Base.String = $wunfold ww1 } in case GHC.List.$wlenAcc @ GHC.Types.Char s 0# of ww3 { DEFAULT -> (# Text.PrettyPrint.Annotated.HughesPJ.NoAnnot @ () (Text.PrettyPrint.Annotated.HughesPJ.Str s) ww3, Text.PrettyPrint.Annotated.HughesPJ.Empty @ () #) }) -} 51a19b2e9a530535d2fb237574011dd7 $wouter :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} 4578bbb38143e09f3e45d2b117dfaa08 $wouter1 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} 35cbbb732dc8a85f49a0bcce2752c353 $wouter2 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} 2d3bf21d93b6d284cd99858fded567eb $wouter3 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} c381f5fe7285b285313e39afb222769d $wouter4 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} dc5258b96e1df2a6af531e0e94334a17 $wouter6 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} 7ce1320a3743b13c139b505d9e2556b9 $wouter7 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} 652bfd8357f13d0475d437d9afa0e6b8 $wouter8 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} f53d3cc297bdd92459aabcba5c89f599 $wouter9 :: Data.Text.Array.MArray GHC.Prim.RealWorld -> GHC.Types.Int -> [GHC.Types.Char] -> GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 5, Strictness: , Inline: [0] -} 6429b22b23d7d7a6f7655f9545f1bca9 $wpoly_go1 :: GHC.Prim.Char# -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe GHC.Types.Int {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} d2c9cbd182e82fd5f868b01174439b47 $wpoly_go2 :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Array# (Data.HashMap.Base.Leaf Data.Text.Internal.Text v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe v {- Arity: 6, HasNoCafRefs, Strictness: , Inline: [0] -} 8305e48c6530e331023488370bb2d0fe $wpoly_go3 :: GHC.Prim.Char# -> GHC.Prim.Array# (Data.HashMap.Base.Leaf GHC.Types.Char v) -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe v {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} b3b24c594a12d7636d0b72f967df3816 $wpoly_go4 :: GHC.Prim.Int# -> Data.HashMap.Base.HashMap GHC.Types.Char v -> Data.HashMap.Base.HashMap GHC.Types.Char v -> Data.HashMap.Base.HashMap GHC.Types.Char v {- Arity: 3, Strictness: , Inline: [0] -} 5add66e0661b786e126e02d56d608c94 $wpoly_go5 :: GHC.Prim.Word# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap Data.Text.Internal.Text v -> GHC.Base.Maybe v {- Arity: 6, HasNoCafRefs, Strictness: , Inline: [0] -} ef6209bc09d16badd289d668090c0f59 $wpoly_go6 :: GHC.Prim.Word# -> GHC.Prim.Char# -> GHC.Prim.Int# -> Data.HashMap.Base.HashMap GHC.Types.Char v -> GHC.Base.Maybe v {- Arity: 4, HasNoCafRefs, Strictness: , Inline: [0] -} 79727ac8858e6bb91ad6ee9b480efde1 $wstripPrefix :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe Language.Fixpoint.Types.Names.Symbol {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.ByteArray#) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) -> case Data.Text.$wstripPrefix ww ww1 ww2 ww3 ww4 ww5 of wild { GHC.Base.Nothing -> GHC.Base.Nothing @ Language.Fixpoint.Types.Names.Symbol GHC.Base.Just x -> GHC.Base.Just @ Language.Fixpoint.Types.Names.Symbol (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol x `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) }) -} 62617df88fdb98c4a5b5ab6815584716 $wsuffixSymbol :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Language.Fixpoint.Types.Names.Symbol {- Arity: 6, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.ByteArray#) (ww4 :: GHC.Prim.Int#) (ww5 :: GHC.Prim.Int#) -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append (Data.Text.Internal.Text ww ww1 ww2) ds) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds2 (Data.Text.Internal.Text ww3 ww4 ww5)) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } }) -} 60e32460cd87e80ab31e98cec78398f0 $wsymbolSafeString :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.String {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> let { end :: GHC.Prim.Int# = GHC.Prim.+# ww1 ww2 } in letrec { $wunfold :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww3 end) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww ww3 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# ww (GHC.Prim.+# ww3 1#) of r#1 { DEFAULT -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#))) ($wunfold (GHC.Prim.+# ww3 2#)) } } } } GHC.Types.True -> GHC.Types.[] @ GHC.Types.Char } } in $wunfold ww1) -} 920d574d3ad087e97fe3fbdcbd9cccdb $wsymbolString :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.String {- Arity: 3, HasNoCafRefs, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> let { end :: GHC.Prim.Int# = GHC.Prim.+# ww1 ww2 } in letrec { $wunfold :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww3 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww3 end) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww ww3 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww3 1#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# ww (GHC.Prim.+# ww3 1#) of r#1 { DEFAULT -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#))) ($wunfold (GHC.Prim.+# ww3 2#)) } } } } GHC.Types.True -> GHC.Types.[] @ GHC.Types.Char } } in $wunfold ww1) -} 6918e9bacba58a10365d5d74cdc8060a $wtidySymbol :: GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol {- Arity: 5, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.Int#) (ww1 :: GHC.Prim.ByteArray#) (ww2 :: GHC.Prim.Int#) (ww3 :: GHC.Prim.Int#) (ww4 :: Data.Text.Internal.Text) -> case Language.Fixpoint.Types.Names.kArgPrefix of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case ds of ww5 { Data.Text.Internal.Text ww6 ww7 ww8 -> case Data.Text.$wstripPrefix ww6 ww7 ww8 ww1 ww2 ww3 of wild1 { GHC.Base.Nothing -> Language.Fixpoint.Types.Names.tidySymbol1 ww (Data.Text.Internal.Text ww1 ww2 ww3) ww4 GHC.Base.Just x -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol x `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of ww9 { Language.Fixpoint.Types.Names.S ww10 ww11 ww12 -> Language.Fixpoint.Types.Names.tidySymbol1 ww10 ww11 ww12 } } } }) -} a7d074373cf28ac96a19939aaaf8ab06 $wunSuffixSymbol :: GHC.Prim.Int# -> GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol {- Arity: 5, Strictness: , Inline: [0] -} 60745162ac334e82fde6592a76d2e0c0 $wunconsSym :: GHC.Prim.ByteArray# -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Base.Maybe (GHC.Types.Char, Language.Fixpoint.Types.Names.Symbol) {- Arity: 3, Strictness: , Inline: [0], Unfolding: (\ (ww :: GHC.Prim.ByteArray#) (ww1 :: GHC.Prim.Int#) (ww2 :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# ww2 0#) of wild1 { GHC.Types.False -> GHC.Base.Just @ (GHC.Types.Char, Language.Fixpoint.Types.Names.Symbol) (let { x :: (GHC.Types.Char, Data.Text.Internal.Text) = case GHC.Prim.indexWord16Array# ww ww1 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.ltWord# r# 55296##) of wild2 { GHC.Types.False -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.gtWord# r# 56319##) of wild3 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww (GHC.Prim.+# ww1 1#) of r#1 { DEFAULT -> (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#)), case GHC.Prim.-# ww2 2# of wild4 { DEFAULT -> Data.Text.Internal.Text ww (GHC.Prim.+# ww1 2#) wild4 0# -> Data.Text.Internal.empty }) } GHC.Types.True -> (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#)), case GHC.Prim.-# ww2 1# of wild4 { DEFAULT -> Data.Text.Internal.Text ww (GHC.Prim.+# ww1 1#) wild4 0# -> Data.Text.Internal.empty }) } GHC.Types.True -> (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#)), case GHC.Prim.-# ww2 1# of wild3 { DEFAULT -> Data.Text.Internal.Text ww (GHC.Prim.+# ww1 1#) wild3 0# -> Data.Text.Internal.empty }) } } } in (case x of wild { (,) x1 y -> x1 }, case x of wild { (,) x1 y -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol y `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) })) GHC.Types.True -> GHC.Base.Nothing @ (GHC.Types.Char, Language.Fixpoint.Types.Names.Symbol) }) -} 48f09ac5554b5659507cdde0ca23f8ac axiom D:R:DescriptionSymbol0:: Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol = Language.Fixpoint.Types.Names.R:DescriptionSymbol 48f09ac5554b5659507cdde0ca23f8ac axiom D:R:UninternedSymbol:: Data.Interned.Internal.Uninterned Language.Fixpoint.Types.Names.Symbol = Data.Text.Internal.Text 4a6c826b689fe9b6e8ce8f2d4ad897b2 type LocSymbol = Language.Fixpoint.Types.Spans.Located Language.Fixpoint.Types.Names.Symbol 6076edc10b7eed5a7f2e20ce1fdcc4e4 type LocText = Language.Fixpoint.Types.Spans.Located Data.Text.Internal.Text 48f09ac5554b5659507cdde0ca23f8ac newtype instance Data.Interned.Internal.Description Language.Fixpoint.Types.Names.Symbol = DT Data.Text.Internal.Text RecFlag: Recursive 204db8dd25cf3eebb857e3f4d24a5853 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))) 48f09ac5554b5659507cdde0ca23f8ac 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-6TLfofWrTFvFP1QJmA2Rhf" '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.DecidedUnpack) (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)))) 7802d252a68eb00796959f32d35a93ad type SafeText = Data.Text.Internal.Text 48f09ac5554b5659507cdde0ca23f8ac data Symbol = S {_symbolId :: {-# UNPACK #-}Data.Interned.Internal.Id, symbolRaw :: !Data.Text.Internal.Text, symbolEncoded :: !Data.Text.Internal.Text} 0626e8bb4c60b162c8065dcfe58d4ead class Symbolic a where symbol :: a -> Language.Fixpoint.Types.Names.Symbol {-# MINIMAL symbol #-} ea456b7c5c1734b457eaceaaa012d5ec _symbolId :: Language.Fixpoint.Types.Names.Symbol -> Data.Interned.Internal.Id RecSel Left Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> GHC.Types.I# dt }) -} 0ac2a33f808a6c46876db382ded0c258 anfPrefix :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.anfPrefix1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} e07aa82bca2ac7ca2ab149debb7054c8 anfPrefix1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lq_anf$"#) -} c1d8a192c1714ead9703691284dcf814 bitVecApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.bitVecApplyName1) -} c2b04ba955a0068b23c10547ce5bddae bitVecApplyName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.bitVecApplyName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 01eb1f6d4f19ca13a222571740d0e52a bitVecApplyName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "bitvec_apply"#) -} 8659d8279059db3e790c7e6c5ea5c695 bitVecApplyName3 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text Language.Fixpoint.Types.Names.bitVecApplyName4 of ds1 { (#,#) ipv ipv1 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) }) -} dcb787f74f13a72493f31f55f6fcf87b bitVecApplyName4 :: GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, Data.Text.Internal.Text #) {- Arity: 1, Unfolding: (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds1 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter3 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 Language.Fixpoint.Types.Names.bitVecApplyName5 0# ipv }) -} 6c2223a790cbbce733e9ddf7a79345ac bitVecApplyName5 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "##"#) -} 7020c3cba296b7cce9ee10371d92777e bitVecApplyName_$sintSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) (w1 :: GHC.Types.Int) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case w1 of ww8 { GHC.Types.I# ww9 -> Language.Fixpoint.Types.Names.$w$sintSymbol ww5 ww6 ww7 ww9 } } }) -} e733c9a4c9e40b0853f73957e759dbeb bitVecName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.bitVecName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 80c165d908bc212b0737e72003ab159d bitVecName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "BitVec"#) -} 833190a7a8cfebe72de4caf10a5cd319 bitVecToIntName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.bitVecToIntName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 4c09d0d2105a95e79fcc2188f6510575 bitVecToIntName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "bitvec_to_int"#) -} a7cb25f4ae6200ec0fb30523f7ea2268 boolApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.boolApplyName1) -} 162fa0a98090b93c3e623c3fcb74e93a boolApplyName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.boolApplyName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 94382a68426c16f1080d886bc3611b6b boolApplyName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "bool_apply_"#) -} 9d7c74893e77ca7ed925570c70a80376 boolConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.boolConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} aa965c8077ab512c777a8699ed93c2b2 boolConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Bool"#) -} 9d33f51c7225f602107a67923bf43210 boolToIntName :: Data.String.IsString a => a {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, True) (\ @ a ($dIsString :: Data.String.IsString a) -> $dIsString `cast` (Data.String.N:IsString[0] _N) Language.Fixpoint.Types.Names.boolToIntName1) -} a9b017f987998baff53ea47c2edc3e05 boolToIntName1 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "bool_to_int"#) -} cc27784d934e70c697e2e7240aaffb45 bvAndName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.bvAndName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 3d03cfa9bbba74ba191fe07ee2fa1d5b bvAndName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "bvand"#) -} 505f19c374fb8992291f59af417f3415 bvOrName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.bvOrName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 812a4ab99aa955cf773f4106870a8ded bvOrName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "bvor"#) -} ed36636f996a42e3d326a45fa723e77c consName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.consName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 4fac32c223f2a66fa24a142d742dd2d9 consName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "cons"#) -} 8465bcabc71a22e8d3d2c2956170b033 consSym :: GHC.Types.Char -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Char) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { GHC.Types.C# ww1 -> case w1 of ww2 { Language.Fixpoint.Types.Names.S ww3 ww4 ww5 -> case ww4 of ww6 { Data.Text.Internal.Text ww7 ww8 ww9 -> Language.Fixpoint.Types.Names.$wconsSym ww1 ww7 ww8 ww9 } } }) -} 21067dc33a1b9d59afe793b7ef69039c divFuncName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.divFuncName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 504edb725104f102081059665cff0d0b divFuncName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Z3_OP_DIV"#) -} 05bf2b8874ca8502b1e7ac38b9a80e33 dropSym :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: GHC.Types.Int) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { GHC.Types.I# ww1 -> case w1 of ww2 { Language.Fixpoint.Types.Names.S ww3 ww4 ww5 -> case ww4 of ww6 { Data.Text.Internal.Text ww7 ww8 ww9 -> Language.Fixpoint.Types.Names.$wdropSym ww1 ww7 ww8 ww9 } } }) -} c51cbb557013af0eb20abb71d99dd69f dropSym1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Data.Text.Internal.empty `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 8464bea10cca21e98816b59f50ab6a7e dummyName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.dummyName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} cb7dd02a3be06a94a9ffc10c9ba15092 dummyName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "LIQUID$dummy"#) -} a9b923c7c6cdb8f9e9593dd6fd31ad20 dummySymbol :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.dummyName -} 26bfaedab359e23097b7157aa3131f0c existPrefix :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.existSymbol1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} b649109f37b6f92f423961de502201cc existSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: (\ (prefix :: Language.Fixpoint.Types.Names.Symbol) -> let { x :: Language.Fixpoint.Types.Names.Symbol = case Language.Fixpoint.Types.Names.existPrefix of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case prefix of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } in \ (i :: GHC.Integer.Type.Integer) -> case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild2 { Language.Fixpoint.Types.Names.S dt2 ds4 ds5 -> case GHC.Show.$w$cshowsPrec1 0# i (GHC.Types.[] @ GHC.Types.Char) of ww2 { (#,#) ww3 ww4 -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds6 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter4 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 (GHC.Types.: @ GHC.Types.Char ww3 ww4) 0# ipv }) of ds6 { (#,#) ipv ipv1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild3 { Language.Fixpoint.Types.Names.S dt3 ds7 ds8 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds4 ds7) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } } } }) -} b23f15273fa77bb7402188a2228eb6f1 existSymbol1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lq_ext$"#) -} 0b26e765b8a1752da2787e9fc6812946 funConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.funConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 25e8ad068462777137bb4343b89bf620 funConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "->"#) -} f93dcaf4fe3979d6e57ada71e23db9e1 headSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Char {- Arity: 1, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww6 (GHC.Prim.+# ww6 ww7)) of wild1 { GHC.Types.False -> case GHC.Prim.indexWord16Array# ww5 ww6 of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild2 { GHC.Types.False -> GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild3 { GHC.Types.False -> GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# ww5 (GHC.Prim.+# ww6 1#) of r#1 { DEFAULT -> GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#)) } } } } GHC.Types.True -> case Data.Text.Internal.Fusion.Common.head_empty ret_ty GHC.Types.Char of {} } } }) -} 4ab0157cfdbb81e9834f5fc91b8839f3 intApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.intApplyName1) -} 089aff3e461e095cd7378b1c1c5ca79a intApplyName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.intApplyName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 68fa05a4fbede1934561c89ba0aa64cb intApplyName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "int_apply_"#) -} 6428e688e6c8bd56e1f50b5eb6ad378e intArgName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.intArgName1) -} 0215f77d50ddd8fc92e6e915b045eded intArgName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.intArgName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 13c052df58648f5190d07ed9df179c3a intArgName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lam_int_arg"#) -} e3ca25b3b5ce8f9f7ec4158e72746e1c intSymbol :: GHC.Show.Show a => Language.Fixpoint.Types.Names.Symbol -> a -> Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (3, True, False) (\ @ a (w :: GHC.Show.Show a) (w1 :: Language.Fixpoint.Types.Names.Symbol) (w2 :: a) -> case w1 of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> Language.Fixpoint.Types.Names.$wintSymbol @ a w ww5 ww6 ww7 w2 } }) -} a42a7ee4e6e6bf413760f114cd1c5ec3 isDummy :: Language.Fixpoint.Types.Names.Symbolic a => a -> GHC.Types.Bool {- Arity: 2, Strictness: , Unfolding: InlineRule (2, True, False) (\ @ a ($dSymbolic :: Language.Fixpoint.Types.Names.Symbolic a) (a1 :: a) -> case $dSymbolic `cast` (Language.Fixpoint.Types.Names.N:Symbolic[0] _N) a1 of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Language.Fixpoint.Types.Names.dummyName of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) } }) -} fce949627de0b7387ed9b777cad06478 isLitSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.isPrefixOfSym Language.Fixpoint.Types.Names.litPrefix) -} 4c3a8cf3d56c60083b8e4616d1ee7dfa isLitSymbol1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lit$"#) -} 8d13c5d0098ab6b146558cf15cc940cb isNonSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> case Language.Fixpoint.Types.Names.nonSymbol of wild1 { Language.Fixpoint.Types.Names.S dt1 ds3 ds4 -> GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) } }) -} 41702d52373f9b03403e4eb6b414eaab isNontrivialVV :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (x :: Language.Fixpoint.Types.Names.Symbol) -> case Language.Fixpoint.Types.Names.isNontrivialVV1 of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case x of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.==# dt dt1) of wild2 { GHC.Types.False -> GHC.Types.True GHC.Types.True -> GHC.Types.False } } }) -} 659cf5cf2a0a923c977249299afadfd4 isNontrivialVV1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Language.Fixpoint.Types.Names.vv (GHC.Base.Nothing @ GHC.Integer.Type.Integer)) -} 9607183a94529023225b6f290d52f6a5 isPrefixOfSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case w1 of ww8 { Language.Fixpoint.Types.Names.S ww9 ww10 ww11 -> case ww10 of ww12 { Data.Text.Internal.Text ww13 ww14 ww15 -> Language.Fixpoint.Types.Names.$wisPrefixOfSym ww5 ww6 ww7 ww13 ww14 ww15 } } } }) -} 3623e2e6314128d5b44a2e3c98c27987 isSuffixOfSym :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Bool {- Arity: 2, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case w1 of ww8 { Language.Fixpoint.Types.Names.S ww9 ww10 ww11 -> case ww10 of ww12 { Data.Text.Internal.Text ww13 ww14 ww15 -> Language.Fixpoint.Types.Names.$wisSuffixOfSym ww5 ww6 ww7 ww13 ww14 ww15 } } } }) -} 05976301f0b92e3b0dfea7f1d96e9410 kArgPrefix :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.kArgSymbol1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 262c6e8ecea1e0a5e6a338e1da93e761 kArgSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case w1 of ww8 { Language.Fixpoint.Types.Names.S ww9 ww10 ww11 -> case ww10 of ww12 { Data.Text.Internal.Text ww13 ww14 ww15 -> Language.Fixpoint.Types.Names.$wkArgSymbol ww5 ww6 ww7 ww13 ww14 ww15 } } } }) -} fd005f3afd71fa2ab5614be2401f9735 kArgSymbol1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lq_karg$"#) -} d844da24cbcbb857f0cf79953babe2df lambdaName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.lambdaName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} f0e37f3ea20291a9f5505928b6c676ce lambdaName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "smt_lambda"#) -} 82ca3ece250e1a7bb8819a80286e9117 lengthSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int {- Arity: 1, HasNoCafRefs, Strictness: m, Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case Language.Fixpoint.Types.Names.$wlengthSym ww5 ww6 ww7 of ww8 { DEFAULT -> GHC.Types.I# ww8 } } }) -} 4113185c856aab9be37cba78888b077d listConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.listConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} ab47c14676d9a931552ddfe62e517a3f listConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "[]"#) -} 54dd753466623be0c46238bdbf5a223f listLConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.listLConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 50096f35cd36ef8a442f12eb498f68f9 listLConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "List"#) -} 2f85e6b69fb1ddbc47d6fa314846465b litPrefix :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.isLitSymbol1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} c75a305fa091f5ad50247c8e57607fe0 litSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, False) (\ (s :: Language.Fixpoint.Types.Names.Symbol) -> case Language.Fixpoint.Types.Names.litPrefix of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case s of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.Internal.Fusion.unstream (Data.Text.Internal.Fusion.Common.append (Data.Text.Internal.Fusion.stream ds) (Data.Text.Internal.Fusion.stream ds2))) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } }) -} ddb317d661ab32350988590f7250f5a7 mapApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.mapApplyName1) -} b85be32e8e74a232a45de01c6cd21e5c mapApplyName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.mapApplyName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} ebe56e1389dc6ccc016b92ed339bf485 mapApplyName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "map_apply_"#) -} 27aaea04a10e9d7d92d914234f1660b7 mapConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.mapConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 915200fea5a36483d17a223c2943492d mapConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Map_t"#) -} 850ac887e9f7e9682c6cec9b99cb2e14 mapToIntName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.mapToIntName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 7415a946ed4933b9cd0aec2825974d78 mapToIntName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "map_to_int"#) -} 43af320c45dc2b3a6646f173f8434c27 mulFuncName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.mulFuncName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} ea036d17f28f7e3bb5bd8d6492316014 mulFuncName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Z3_OP_MUL"#) -} 34c4b5ad364c3b4dc20f882752b534af nilName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.nilName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} fe7610a75a3d9f30fa8bca6ea190f50c nilName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "nil"#) -} c533f408e275a93031358a3e73ca199d nonSymbol :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Data.Text.Internal.empty_ `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 3ab6683e69c9b422c09838a37f1eebe5 preludeName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.preludeName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 36126b80d1c71ecb9f236bf3c32822e8 preludeName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Prelude"#) -} 70e6f07d1b9819e49e94a46ecbff4e62 prims :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims52 Language.Fixpoint.Types.Names.prims1) -} eb86579abb25736331932bb94ddf3610 prims1 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims50 Language.Fixpoint.Types.Names.prims2) -} c2b3a9e7767518abd2cd2adfe41e417d prims10 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims40 Language.Fixpoint.Types.Names.prims11) -} 7162f9b6f622b032f15f1f50be477279 prims11 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims38 Language.Fixpoint.Types.Names.prims12) -} 0aceb26e7705d542410f7d6861e4ee2b prims12 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims36 Language.Fixpoint.Types.Names.prims13) -} 2525e3db8b6e880cb028e214e3a61c4f prims13 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims34 Language.Fixpoint.Types.Names.prims14) -} 56063b18b9002fc1852e33fe9d3095be prims14 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims32 Language.Fixpoint.Types.Names.prims15) -} d6a30dfb3cb0c3f056a740b6420fe34b prims15 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.mapConName Language.Fixpoint.Types.Names.prims16) -} d5f0fc44862a9880bc313b2df40db3f7 prims16 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims30 Language.Fixpoint.Types.Names.prims17) -} 2b2639cb4fd848ea505a438bb76bf002 prims17 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims28 Language.Fixpoint.Types.Names.prims18) -} 781fb2624a85b642497aca297a986362 prims18 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.size32Name Language.Fixpoint.Types.Names.prims19) -} c6c4c91954595d960a86061ed7e1ce2c prims19 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.size64Name Language.Fixpoint.Types.Names.prims20) -} 78525ba6e72ee849aec4a269998b7e27 prims2 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.vvName Language.Fixpoint.Types.Names.prims3) -} d8eb3918994538fc52d331d9f596391b prims20 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.bitVecName Language.Fixpoint.Types.Names.prims21) -} 422a72c755623d4020fdf20440014bc6 prims21 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.bvOrName Language.Fixpoint.Types.Names.prims22) -} 6cca63003657c14afc75b2a18c17a72c prims22 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.bvAndName Language.Fixpoint.Types.Names.prims23) -} 37c42fad4eb921df405b65d32a1f215d prims23 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims26 Language.Fixpoint.Types.Names.prims24) -} 0ecd8c2d23e147786585f21b00d95856 prims24 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.nilName Language.Fixpoint.Types.Names.prims25) -} 3b2aafd15c4f29426944c171ac694f50 prims25 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.consName (GHC.Types.[] @ Language.Fixpoint.Types.Names.Symbol)) -} 15f7f2a66c7e4067eaa168da42420013 prims26 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims27 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 9fbdca1f215c60ab2f6a0b871aa2108f prims27 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "FAppTy"#) -} 3b357311bb8442ef6a92bbf83c2238b8 prims28 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims29 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 83fd0cda20c2ea7ff531ddb211f1f274 prims29 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Map_store"#) -} b064d990b6efd07b48e712911dab62b3 prims3 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims48 Language.Fixpoint.Types.Names.prims4) -} 1371f3650d7caa2f3b0d37d3b58763e8 prims30 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims31 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 7f9e172d80b372abd314ff3e3bcbb620 prims31 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Map_select"#) -} 6f847f865e55dd844fb639461e11bb69 prims32 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims33 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 8926a14cd14daa333e98f36f427a628b prims33 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_sub"#) -} 43f14efdb55293d53c7928452c01b9ff prims34 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims35 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 7f34f3c07f0a69174966281751cc1e36 prims35 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_mem"#) -} 7a622b29308dd2ef79d8e5c8f5d23f45 prims36 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims37 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} a9640cdd1621b1a27aa81d998e48719f prims37 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_empty"#) -} 4bf85535de217615d932943145dc27c8 prims38 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims39 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 30f2d862c3c181191bb6a6fe944d9e71 prims39 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_emp"#) -} 5f5e889b40fb70d259e0e0d1558a17a4 prims4 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.listLConName Language.Fixpoint.Types.Names.prims5) -} d42235816184cd957ff0e86a1f7ad8e5 prims40 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims41 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 9a809aacabc03b698227ea24dd3d2ca7 prims41 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_dif"#) -} 5e59724d0b6d98f7f5a6f3d66b76a81d prims42 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims43 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} b0809bb820e34b7a9c88997eeb8b028f prims43 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_cap"#) -} 723b607d7bb7e3cb5d6ac2d42f6c9c51 prims44 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims45 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} e0cc574c551d73b53016f835dbab7fd3 prims45 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_cup"#) -} 9d86969c320a8f9fe282406850aeab06 prims46 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims47 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 00622049bf8730618da60d83d07f3b98 prims47 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_sng"#) -} 3a065c15615ddea725f329dc8c7c2733 prims48 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims49 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 1e23a0c82729ed3b0b82db842f698b20 prims49 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Pred"#) -} c58145c5b8969203a03e5c9a3571c391 prims5 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.listConName Language.Fixpoint.Types.Names.prims6) -} 663684a5504e1f1550da412202e84b3f prims50 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims51 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 2106954788f19dd77d7f2de11962f63e prims51 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "HProp"#) -} 2f981a621da6ba6766f802c127bc246f prims52 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.prims53 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 1e1cc81d30158372b4da600cf0f3eaa5 prims53 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Prop"#) -} b6a3ccbe4538e13d774fb4af4a09a8ba prims6 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.setConName Language.Fixpoint.Types.Names.prims7) -} 0c9b9642e8a879ef6a9af4190303596e prims7 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims46 Language.Fixpoint.Types.Names.prims8) -} 2e113ebe5af3c396a3a1c6099e8896b3 prims8 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims44 Language.Fixpoint.Types.Names.prims9) -} 22835216b0c59a29e3eff76979b96079 prims9 :: [Language.Fixpoint.Types.Names.Symbol] {- Strictness: m2, Unfolding: (GHC.Types.: @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.prims42 Language.Fixpoint.Types.Names.prims10) -} babaf3aa9ec579d8932f0f002e849304 realApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.realApplyName1) -} 56f2a40fe1d1f382cc4e8c01ad15d342 realApplyName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.realApplyName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 25bdd950b159eba18d2aaae2132d42a9 realApplyName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "real_apply_"#) -} bf741618648c7a866047d91e92aca515 realToIntName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.realToIntName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 2ae80e4a771df90df2b38c389c847b2a realToIntName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "real_to_int"#) -} c15461b63d6bea0b5920bb4bae4928c9 renamePrefix :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.renameSymbol1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 9e1a1bd4c9b876ef906bfe825c73742d renameSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: (\ (prefix :: Language.Fixpoint.Types.Names.Symbol) -> let { x :: Language.Fixpoint.Types.Names.Symbol = case Language.Fixpoint.Types.Names.renamePrefix of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case prefix of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } in \ (i :: GHC.Types.Int) -> case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild2 { Language.Fixpoint.Types.Names.S dt2 ds4 ds5 -> case i of ww2 { GHC.Types.I# ww3 -> case GHC.Show.$wshowSignedInt 0# ww3 (GHC.Types.[] @ GHC.Types.Char) of ww4 { (#,#) ww5 ww6 -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds6 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter8 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 (GHC.Types.: @ GHC.Types.Char ww5 ww6) 0# ipv }) of ds6 { (#,#) ipv ipv1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild3 { Language.Fixpoint.Types.Names.S dt3 ds7 ds8 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds4 ds7) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } } } } }) -} aad60d36a9f839a38b13fe910f87e005 renameSymbol1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lq_rnm$"#) -} 48f09ac5554b5659507cdde0ca23f8ac sCache :: Data.Interned.Internal.Cache Language.Fixpoint.Types.Names.Symbol {- Inline: NOINLINE -} 1c534130f995a9b6cd7d384d6eebf8b0 setApplyName :: GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol Language.Fixpoint.Types.Names.setApplyName1) -} 1164fd1941b41846e8d16808e441f1f4 setApplyName1 :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.setApplyName2 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} c8c89a9a75c680fb4537c19b66ee99db setApplyName2 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "set_apply_"#) -} 1d0f81ce4f6d2857d0d0f587eedcb6c3 setConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.setConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 33822115d4e6e80da6c152f278b5f226 setConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Set_Set"#) -} 0e6624be05e2b19e3bb7d51886ba5fc1 setToIntName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.setToIntName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 86040c3c7ec2facc91be35eb1e71d6f4 setToIntName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "set_to_int"#) -} 9dde6f1d287cc6bef86214a3aec859d3 size32Name :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.size32Name1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 590780f0b535de4986a6436a42a8d4c1 size32Name1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Size32"#) -} c54b5b34d899e6fa20ee4e270c10e2a5 size64Name :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.size64Name1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 67b63e0091bdf0709502b420edb116d2 size64Name1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Size64"#) -} 8f2d7586bedd92b3d2ca070cd9d9606e strConName :: Data.String.IsString a => a {- Arity: 1, Strictness: , Unfolding: InlineRule (1, True, True) (\ @ a ($dIsString :: Data.String.IsString a) -> $dIsString `cast` (Data.String.N:IsString[0] _N) Language.Fixpoint.Types.Names.strConName1) -} 9c6e57ef328a753f601aff468e0fa27d strConName1 :: [GHC.Types.Char] {- Unfolding: (GHC.CString.unpackCString# "Str"#) -} 68070d94b1ebdb812637801dba5f520c stripPrefix :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> GHC.Base.Maybe Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case w1 of ww8 { Language.Fixpoint.Types.Names.S ww9 ww10 ww11 -> case ww10 of ww12 { Data.Text.Internal.Text ww13 ww14 ww15 -> Language.Fixpoint.Types.Names.$wstripPrefix ww5 ww6 ww7 ww13 ww14 ww15 } } } }) -} f64bb5413c73d049867763d988ae75e5 suffixSymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 2, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (2, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) (w1 :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> case w1 of ww8 { Language.Fixpoint.Types.Names.S ww9 ww10 ww11 -> case ww10 of ww12 { Data.Text.Internal.Text ww13 ww14 ww15 -> Language.Fixpoint.Types.Names.$wsuffixSymbol ww5 ww6 ww7 ww13 ww14 ww15 } } } }) -} c771e2dddb18af0127beb2e9fa50af8c symChars :: Data.HashSet.HashSet GHC.Types.Char {- Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.symChars1 `cast` (Sym (Data.HashSet.N:HashSet[0] _N)) -} 9a6f75538e50bc1e994068c090e57696 symChars1 :: Data.HashMap.Base.HashMap GHC.Types.Char () {- Unfolding: (case Data.HashMap.Base.insert @ GHC.Types.Char @ () GHC.Classes.$fEqChar Data.Hashable.Class.$fHashableChar Language.Fixpoint.Types.Names.symChars11 GHC.Tuple.() (Data.HashMap.Base.Empty @ GHC.Types.Char @ ()) of z { DEFAULT -> case Data.HashMap.Base.insert @ GHC.Types.Char @ () GHC.Classes.$fEqChar Data.Hashable.Class.$fHashableChar Language.Fixpoint.Types.Names.symChars10 GHC.Tuple.() z of z1 { DEFAULT -> case Data.HashMap.Base.insert @ GHC.Types.Char @ () GHC.Classes.$fEqChar Data.Hashable.Class.$fHashableChar Language.Fixpoint.Types.Names.symChars9 GHC.Tuple.() z1 of z2 { DEFAULT -> Language.Fixpoint.Types.Names.$wpoly_go4 @ () 0# Language.Fixpoint.Types.Names.symChars3 (Data.HashMap.Base.insert @ GHC.Types.Char @ () GHC.Classes.$fEqChar Data.Hashable.Class.$fHashableChar Language.Fixpoint.Types.Names.symChars2 GHC.Tuple.() z2) } } }) -} 0d2b9fcb138c7af58963c2cffb8b4966 symChars10 :: GHC.Types.Char {- HasNoCafRefs, Unfolding: (GHC.Types.C# '#'#) -} 97fb16034c850fcd8f9fab518d1eea78 symChars11 :: GHC.Types.Char {- HasNoCafRefs, Unfolding: (GHC.Types.C# '%'#) -} 47041ac39afd48ac9790645dcc917341 symChars2 :: GHC.Types.Char {- HasNoCafRefs, Unfolding: (GHC.Types.C# '\''#) -} f5f3368d364e12a022dd2c45a0b5f3be symChars3 :: Data.HashMap.Base.HashMap GHC.Types.Char () {- Unfolding: (case Data.HashMap.Base.insert @ GHC.Types.Char @ () GHC.Classes.$fEqChar Data.Hashable.Class.$fHashableChar Language.Fixpoint.Types.Names.symChars8 GHC.Tuple.() (Data.HashMap.Base.Empty @ GHC.Types.Char @ ()) of z { DEFAULT -> Language.Fixpoint.Types.Names.$wpoly_go4 @ () 0# Language.Fixpoint.Types.Names.symChars5 (Data.HashMap.Base.insert @ GHC.Types.Char @ () GHC.Classes.$fEqChar Data.Hashable.Class.$fHashableChar Language.Fixpoint.Types.Names.symChars4 GHC.Tuple.() z) }) -} 3dca390885ef81847f2948da4ee9f4cd symChars4 :: GHC.Types.Char {- HasNoCafRefs, Unfolding: (GHC.Types.C# '.'#) -} 5340261d3801f715de7441bdecc3c554 symChars5 :: Data.HashMap.Base.HashMap GHC.Types.Char () {- Unfolding: (Language.Fixpoint.Types.Names.$wpoly_go4 @ () 0# Language.Fixpoint.Types.Names.symChars7 Language.Fixpoint.Types.Names.symChars6) -} e38158f0bea46d5e8144f2c589348503 symChars6 :: Data.HashMap.Base.HashMap GHC.Types.Char () {- Unfolding: (Language.Fixpoint.Types.Names.symChars_go 48# (Data.HashMap.Base.Empty @ GHC.Types.Char @ ())) -} 430abad4905f31fa151bcda260a8b337 symChars7 :: Data.HashMap.Base.HashMap GHC.Types.Char () {- Unfolding: (Language.Fixpoint.Types.Names.symChars_go1 97# (Data.HashMap.Base.Empty @ GHC.Types.Char @ ())) -} 6ec472eef238f2e1cbd76ef39c29c83a symChars8 :: GHC.Types.Char {- HasNoCafRefs, Unfolding: (GHC.Types.C# '_'#) -} 1f7c8952c190ef0b1b57c38df007ef86 symChars9 :: GHC.Types.Char {- HasNoCafRefs, Unfolding: (GHC.Types.C# '$'#) -} b05983e1c670ef3dd79a2df14fecdda7 symChars_go :: GHC.Prim.Int# -> Data.HashMap.Base.HashMap GHC.Types.Char () -> Data.HashMap.Base.HashMap GHC.Types.Char () {- Arity: 2, Strictness: -} e2192ab758ae298824b5f09b09ad2f5b symChars_go1 :: GHC.Prim.Int# -> Data.HashMap.Base.HashMap GHC.Types.Char () -> Data.HashMap.Base.HashMap GHC.Types.Char () {- Arity: 2, Strictness: -} 0ec180cc4dfe5d082b83ec705f9f396a symbolEncoded :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text RecSel Left Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> ds2 }) -} 6b2425765dc76e3a209be3f85029a88e symbolRaw :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text RecSel Left Language.Fixpoint.Types.Names.Symbol {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (1, True, False) (\ (ds :: Language.Fixpoint.Types.Names.Symbol) -> case ds of wild { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> ds1 }) -} 81865ef12754b3a346967a9345fac225 symbolSafeString :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww3 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> Language.Fixpoint.Types.Names.$wsymbolSafeString ww5 ww6 ww7 } }) -} 526a21b244d2aaefeee84da8dfb69719 symbolSafeText :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.SafeText {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.symbolEncoded -} 819d69bd3146ce4a14769a9d11f1deac symbolString :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.String {- Arity: 1, HasNoCafRefs, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> Language.Fixpoint.Types.Names.$wsymbolString ww5 ww6 ww7 } }) -} 13814968e12e393cf26b05198caca520 symbolText :: Language.Fixpoint.Types.Names.Symbol -> Data.Text.Internal.Text {- Arity: 1, HasNoCafRefs, Strictness: m, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.symbolRaw -} 0a512abdee4d24495fc35a1fbc40416a symbolicString :: Language.Fixpoint.Types.Names.Symbolic a => a -> GHC.Base.String {- Arity: 2, HasNoCafRefs, Strictness: , Unfolding: (\ @ a ($dSymbolic :: Language.Fixpoint.Types.Names.Symbolic a) (eta :: a) -> case $dSymbolic `cast` (Language.Fixpoint.Types.Names.N:Symbolic[0] _N) eta of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case ds of wild1 { Data.Text.Internal.Text dt1 dt2 dt3 -> let { end :: GHC.Prim.Int# = GHC.Prim.+# dt2 dt3 } in letrec { $wunfold :: GHC.Prim.Int# -> [GHC.Types.Char] {- Arity: 1, Strictness: , Inline: [0] -} = \ (ww :: GHC.Prim.Int#) -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.>=# ww end) of wild2 { GHC.Types.False -> case GHC.Prim.indexWord16Array# dt1 ww of r# { DEFAULT -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.geWord# r# 55296##) of wild3 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww 1#)) GHC.Types.True -> case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.leWord# r# 56319##) of wild4 { GHC.Types.False -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.word2Int# r#))) ($wunfold (GHC.Prim.+# ww 1#)) GHC.Types.True -> case GHC.Prim.indexWord16Array# dt1 (GHC.Prim.+# ww 1#) of r#1 { DEFAULT -> GHC.Types.: @ GHC.Types.Char (GHC.Types.C# (GHC.Prim.chr# (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.uncheckedIShiftL# (GHC.Prim.-# (GHC.Prim.word2Int# r#) 55296#) 10#) (GHC.Prim.-# (GHC.Prim.word2Int# r#1) 56320#)) 65536#))) ($wunfold (GHC.Prim.+# ww 2#)) } } } } GHC.Types.True -> GHC.Types.[] @ GHC.Types.Char } } in $wunfold dt2 } }) -} 0c008559a7f5308a5d259cc16e58983f tempPrefix :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.tempPrefix1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 84d1c7844dd529c60d4cc9f7e955a678 tempPrefix1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "lq_tmp$"#) -} b4c8572afb1b31fcc34ec3529b1475d0 tempSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: (\ (prefix :: Language.Fixpoint.Types.Names.Symbol) -> let { x :: Language.Fixpoint.Types.Names.Symbol = case Language.Fixpoint.Types.Names.tempPrefix of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case prefix of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } in \ (i :: GHC.Integer.Type.Integer) -> case x of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild2 { Language.Fixpoint.Types.Names.S dt2 ds4 ds5 -> case GHC.Show.$w$cshowsPrec1 0# i (GHC.Types.[] @ GHC.Types.Char) of ww2 { (#,#) ww3 ww4 -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds6 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter9 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 (GHC.Types.: @ GHC.Types.Char ww3 ww4) 0# ipv }) of ds6 { (#,#) ipv ipv1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild3 { Language.Fixpoint.Types.Names.S dt3 ds7 ds8 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds4 ds7) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } } } }) -} cca542d5851ae4002e9e23ae8ae1cf7c textSymbol :: Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: InlineRule (0, True, True) Language.Fixpoint.Types.Names.$fSymbolicText1 `cast` (Sub (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]) ->_R _R) -} b70497f43e52e4ceb47dfd12bfc678f1 tidySymbol :: Language.Fixpoint.Types.Names.Symbol -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> Language.Fixpoint.Types.Names.$wtidySymbol ww1 ww5 ww6 ww7 ww3 } }) -} 6d9498b85b464852e2fc165501b40962 tidySymbol1 :: GHC.Prim.Int# -> Data.Text.Internal.Text -> Data.Text.Internal.Text -> Language.Fixpoint.Types.Names.Symbol {- Arity: 3, Unfolding: (\ (ww :: GHC.Prim.Int#)[OneShot] (ww1 :: Data.Text.Internal.Text)[OneShot] (ww2 :: Data.Text.Internal.Text)[OneShot] -> case ww1 of ww3 { Data.Text.Internal.Text ww4 ww5 ww6 -> case Language.Fixpoint.Types.Names.$wunSuffixSymbol ww ww4 ww5 ww6 ww2 of ww7 { Language.Fixpoint.Types.Names.S ww8 ww9 ww10 -> case ww9 of ww11 { Data.Text.Internal.Text ww12 ww13 ww14 -> Language.Fixpoint.Types.Names.$wunSuffixSymbol ww8 ww12 ww13 ww14 ww10 } } }) -} f66fb15765dc599a241c368644fe2f5b tupConName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.tupConName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} d27dca21dfd6e6486846a87177ebbbef tupConName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "Tuple"#) -} 81afb8c736c7ae134a4127b3c32d4a46 unLitSymbol :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.Maybe Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Unfolding: (Language.Fixpoint.Types.Names.stripPrefix Language.Fixpoint.Types.Names.litPrefix) -} 25ffcff080e9bf7bcd926b625c0f7381 unconsSym :: Language.Fixpoint.Types.Names.Symbol -> GHC.Base.Maybe (GHC.Types.Char, Language.Fixpoint.Types.Names.Symbol) {- Arity: 1, Strictness: , Inline: INLINE[0], Unfolding: InlineRule (1, True, False) (\ (w :: Language.Fixpoint.Types.Names.Symbol) -> case w of ww { Language.Fixpoint.Types.Names.S ww1 ww2 ww3 -> case ww2 of ww4 { Data.Text.Internal.Text ww5 ww6 ww7 -> Language.Fixpoint.Types.Names.$wunconsSym ww5 ww6 ww7 } }) -} 4b45795aef057f81c9dd51fae36c4b72 vv :: GHC.Base.Maybe GHC.Integer.Type.Integer -> Language.Fixpoint.Types.Names.Symbol {- Arity: 1, Strictness: , Unfolding: (\ (ds :: GHC.Base.Maybe GHC.Integer.Type.Integer) -> case ds of wild { GHC.Base.Nothing -> Language.Fixpoint.Types.Names.vvName GHC.Base.Just i -> case Language.Fixpoint.Types.Names.vvName of wild1 { Language.Fixpoint.Types.Names.S dt ds1 ds2 -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild2 { Language.Fixpoint.Types.Names.S dt1 ds3 ds4 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds1 ds3) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild3 { Language.Fixpoint.Types.Names.S dt2 ds5 ds6 -> case GHC.Show.$w$cshowsPrec1 0# i (GHC.Types.[] @ GHC.Types.Char) of ww2 { (#,#) ww3 ww4 -> case GHC.Magic.runRW# @ 'GHC.Types.PtrRepLifted @ Data.Text.Internal.Text (\ (s1 :: GHC.Prim.State# GHC.Prim.RealWorld)[OneShot] -> case GHC.Prim.newByteArray# @ GHC.Prim.RealWorld 8# s1 of ds7 { (#,#) ipv ipv1 -> Language.Fixpoint.Types.Names.$wouter7 (Data.Text.Array.MArray @ GHC.Prim.RealWorld ipv1) Language.Fixpoint.Types.Names.$fIsStringSymbol1 (GHC.Types.: @ GHC.Types.Char ww3 ww4) 0# ipv }) of ds7 { (#,#) ipv ipv1 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol ipv1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild4 { Language.Fixpoint.Types.Names.S dt3 ds8 ds9 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds5 ds8) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } } } } }) -} a4b3f1f3ff639683c70d24afe93cd83a vvCon :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (case Language.Fixpoint.Types.Names.vvName of wild { Language.Fixpoint.Types.Names.S dt ds ds1 -> case Language.Fixpoint.Types.Names.bitVecApplyName3 of wild1 { Language.Fixpoint.Types.Names.S dt1 ds2 ds3 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds ds2) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild2 { Language.Fixpoint.Types.Names.S dt2 ds4 ds5 -> case Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.vvCon1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) of wild3 { Language.Fixpoint.Types.Names.S dt3 ds6 ds7 -> Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol (Data.Text.append ds4 ds6) `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0]))) } } } }) -} e27078812ebec4e8b103254becc31bc6 vvCon1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "F"#) -} ccc19ee1d0e7075ff77f0067f757ed2d vvName :: Language.Fixpoint.Types.Names.Symbol {- Unfolding: (Data.Interned.Internal.intern @ Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Names.$fInternedSymbol Language.Fixpoint.Types.Names.vvName1 `cast` (Sub (Sym (Language.Fixpoint.Types.Names.D:R:UninternedSymbol[0])))) -} 73a3d72878310b4cb014c23094d12d45 vvName1 :: Data.Text.Internal.Text {- Unfolding: (Data.Text.Show.unpackCString# "VV"#) -} 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 "SPEC intSymbol @ Int" [ALWAYS] forall ($dShow :: GHC.Show.Show GHC.Types.Int) Language.Fixpoint.Types.Names.intSymbol @ GHC.Types.Int $dShow = Language.Fixpoint.Types.Names.bitVecApplyName_$sintSymbol "SPEC/Language.Fixpoint.Types.Names $dm< @ Symbol" [ALWAYS] forall ($dOrd :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol) GHC.Classes.$dm< @ Language.Fixpoint.Types.Names.Symbol $dOrd = Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm< "SPEC/Language.Fixpoint.Types.Names $dm<= @ Symbol" [ALWAYS] forall ($dOrd :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol) GHC.Classes.$dm<= @ Language.Fixpoint.Types.Names.Symbol $dOrd = Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm<= "SPEC/Language.Fixpoint.Types.Names $dm> @ Symbol" [ALWAYS] forall ($dOrd :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol) GHC.Classes.$dm> @ Language.Fixpoint.Types.Names.Symbol $dOrd = Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm> "SPEC/Language.Fixpoint.Types.Names $dm>= @ Symbol" [ALWAYS] forall ($dOrd :: GHC.Classes.Ord Language.Fixpoint.Types.Names.Symbol) GHC.Classes.$dm>= @ Language.Fixpoint.Types.Names.Symbol $dOrd = Language.Fixpoint.Types.Names.$fOrdSymbol_$s$dm>= "SPEC/Language.Fixpoint.Types.Names $dmcacheWidth @ Symbol" [ALWAYS] forall ($dInterned :: Data.Interned.Internal.Interned Language.Fixpoint.Types.Names.Symbol) Data.Interned.Internal.$dmcacheWidth @ Language.Fixpoint.Types.Names.Symbol $dInterned = Language.Fixpoint.Types.Names.$fInternedSymbol_$s$dmcacheWidth "SPEC/Language.Fixpoint.Types.Names $dmdataCast1 @ InternedText" [ALWAYS] forall ($dData :: Data.Data.Data Data.Interned.Internal.Text.InternedText) Data.Data.$dmdataCast1 @ Data.Interned.Internal.Text.InternedText $dData = Language.Fixpoint.Types.Names.$fDataInternedText_$s$dmdataCast1 "SPEC/Language.Fixpoint.Types.Names $dmdataCast1 @ Symbol" [ALWAYS] forall ($dData :: Data.Data.Data Language.Fixpoint.Types.Names.Symbol) Data.Data.$dmdataCast1 @ Language.Fixpoint.Types.Names.Symbol $dData = Language.Fixpoint.Types.Names.$fDataSymbol_$s$dmdataCast1 "SPEC/Language.Fixpoint.Types.Names $dmdataCast2 @ InternedText" [ALWAYS] forall ($dData :: Data.Data.Data Data.Interned.Internal.Text.InternedText) Data.Data.$dmdataCast2 @ Data.Interned.Internal.Text.InternedText $dData = Language.Fixpoint.Types.Names.$fDataInternedText_$s$dmdataCast2 "SPEC/Language.Fixpoint.Types.Names $dmdataCast2 @ Symbol" [ALWAYS] forall ($dData :: Data.Data.Data Language.Fixpoint.Types.Names.Symbol) Data.Data.$dmdataCast2 @ Language.Fixpoint.Types.Names.Symbol $dData = Language.Fixpoint.Types.Names.$fDataSymbol_$s$dmdataCast2 "SPEC/Language.Fixpoint.Types.Names $dmmodifyAdvice @ Symbol" [ALWAYS] forall ($dInterned :: Data.Interned.Internal.Interned Language.Fixpoint.Types.Names.Symbol) Data.Interned.Internal.$dmmodifyAdvice @ Language.Fixpoint.Types.Names.Symbol $dInterned = Language.Fixpoint.Types.Names.$fInternedSymbol_$s$dmmodifyAdvice "SPEC/Language.Fixpoint.Types.Names $dmseedIdentity @ Symbol" [ALWAYS] forall ($dInterned :: Data.Interned.Internal.Interned Language.Fixpoint.Types.Names.Symbol) Data.Interned.Internal.$dmseedIdentity @ Language.Fixpoint.Types.Names.Symbol $dInterned = Language.Fixpoint.Types.Names.$fInternedSymbol_$s$dmseedIdentity "SPEC/Language.Fixpoint.Types.Names $dmshowsPrec @ Symbol" [ALWAYS] forall ($dShow :: GHC.Show.Show Language.Fixpoint.Types.Names.Symbol) GHC.Show.$dmshowsPrec @ Language.Fixpoint.Types.Names.Symbol $dShow = Language.Fixpoint.Types.Names.$fShowSymbol_$s$dmshowsPrec "SPEC/Language.Fixpoint.Types.Names $dmsimplify @ Symbol" [ALWAYS] forall ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Language.Fixpoint.Types.Names.Symbol) Language.Fixpoint.Types.PrettyPrint.$dmsimplify @ Language.Fixpoint.Types.Names.Symbol $dFixpoint = Language.Fixpoint.Types.Names.$fFixpointSymbol_$s$dmsimplify "SPEC/Language.Fixpoint.Types.Names $dmsimplify @ Text" [ALWAYS] forall ($dFixpoint :: Language.Fixpoint.Types.PrettyPrint.Fixpoint Data.Text.Internal.Text) Language.Fixpoint.Types.PrettyPrint.$dmsimplify @ Data.Text.Internal.Text $dFixpoint = Language.Fixpoint.Types.Names.$fFixpointText_$s$dmsimplify "SPEC/Language.Fixpoint.Types.Names $wupdateOrConcatWithKey @ Char _" [0] forall @ v (w :: GHC.Classes.Eq GHC.Types.Char) Data.HashMap.Base.$wupdateOrConcatWithKey @ GHC.Types.Char @ v w = Language.Fixpoint.Types.Names.$s$wupdateOrConcatWithKey @ v vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False