==================== FINAL INTERFACE ==================== 2017-05-08 17:11:14.896283 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Visitor 8002 interface hash: 5079e065346a01dccbcd3e4eea6d8d14 ABI hash: 562b326437be6bf1306273f048769e9c export-list hash: af05a96a471de9ae7bb1b445015e81c2 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 62b01c897a7d4c18327bdf49df798e9a sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Visitor.defaultVisitor Language.Fixpoint.Types.Visitor.eapps Language.Fixpoint.Types.Visitor.envKVars Language.Fixpoint.Types.Visitor.envKVarsN Language.Fixpoint.Types.Visitor.fold Language.Fixpoint.Types.Visitor.foldSort Language.Fixpoint.Types.Visitor.isConcC Language.Fixpoint.Types.Visitor.isKvarC Language.Fixpoint.Types.Visitor.kvars Language.Fixpoint.Types.Visitor.lamSize Language.Fixpoint.Types.Visitor.mapExpr Language.Fixpoint.Types.Visitor.mapGVars' Language.Fixpoint.Types.Visitor.mapKVarSubsts Language.Fixpoint.Types.Visitor.mapKVars Language.Fixpoint.Types.Visitor.mapKVars' Language.Fixpoint.Types.Visitor.mapMExpr Language.Fixpoint.Types.Visitor.mapSort Language.Fixpoint.Types.Visitor.rhsKVars Language.Fixpoint.Types.Visitor.size Language.Fixpoint.Types.Visitor.stripCasts Language.Fixpoint.Types.Visitor.trans Language.Fixpoint.Types.Visitor.SymConsts{Language.Fixpoint.Types.Visitor.symConsts} Language.Fixpoint.Types.Visitor.Visitable{Language.Fixpoint.Types.Visitor.visit} Language.Fixpoint.Types.Visitor.Visitor{Language.Fixpoint.Types.Visitor.Visitor accExpr ctxExpr txExpr} module dependencies: Language.Fixpoint.Misc Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Utils.Files package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 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 transformers-0.5.2.0@transformers-0.5.2.0 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8 import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b count 1eefc6525a5a5f8d1aabac11af375add sortNub 84a7619417d4bda4412d2f78a0fc0398 import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba GInfo c4bf42c4a9b32550baf9a82ec918fc53 SimpC ab7e97d469950e731d9d2580ab8541ef SubC e2623f0e115cd5fe06013981436e60f2 TaggedC 88438ba686e9ba19347ed3d4d63cc789 _crhs 100ba846958047a5479147c0b29c64d1 bs d61bc046b917adffb7499296cdd6f706 clhs 6baaafa90389717ea3d5f94a86a401e5 cm bd6d51f78a487f86f74c55f8b64d03e8 crhs 1999e06979610b1afdd7eee052b939ea qBody c0c875b62cf06a4beb47f992e321adf5 quals c861732529ff030d0dc41d7faa234fc6 slhs 28d17b05f6bb0481c47ccc52c46dbbeb srhs 895e0b286f758c17771362043b1eba6a import -/ Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e BindEnv b22ca5d85c77eb9cc63ef625fe87597a beBinds b4c9db3dae3fc3eb1b4b3e1949e25e3d import -/ Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747 Symbol 107cf7489707dd0de1ccae6d6e42b2ab import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 EApp f28c7506728f5dca0b25fa72af857711 EBin b68370650d83bb943d8ce8854812774a ECon 281ba72942164385453e186922876aeb ECst 06c1a8791e33ac7ca6714e477124b679 EIte 5c7e639e14211792c2af633aaf1234a7 ELam 7952c5569d03e76870e8a12746cdba85 ENeg 284e85851508aec78c3b87be0c0aad72 ESym 49a58f7ebb51504c93a7cf428cb889dd ETAbs adad996edc4f1cab20c5a6bf76852c88 ETApp 80c26289ce49314fe6f6ea3099eb165f EVar 566b7c7ff8fdc63c55d18f2d537af0b8 Expr bb73da387a50fe3797caa66eb4fb9c35 KVar 68dcac5ad144e4854dc35cff62d456d0 PAll 3c207c04197a306333e12ea805cc0e1b PAnd 434a1d6f3ed5fe9da9c4ef7ee0a5ab14 PAtom 866d6e2737f3ad25130ad773f2c60d65 PExist 6ffa4e1862c34ed00f17a1c5df2acdc5 PGrad 23acd6ca28f3136aab5ec62b271ac653 PIff ff91f60b88fbd087ae722287900be9ae PImp 925695079b283b1b4a08615ff0cba7ee PKVar cac5df8173370c1a324ebcbaf20e9f3d PNot bf05d60bf54fd329ab000a213583724e POr 91663db60e0b5604919103347cf2669f RR 0a874a8408748c051c510af8e624ba5d Reft f5a891a2ea821362b40d468df43305ef Reft bb73da387a50fe3797caa66eb4fb9c35 SortedReft bb73da387a50fe3797caa66eb4fb9c35 Subst bb73da387a50fe3797caa66eb4fb9c35 SymConst 5a08fa37953f67458151c952bcdb1298 conjuncts 69fed87359af039cadde0d8b45def559 sr_reft 0905ab9079105db5d28e4595144e31cc subst a1be563035cd0a1ba7c6137fdc245106 import -/ Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da FAbs 7840ea6edf29d87e456dcd229d23b236 FApp 0d778f8ab563be9b74efba26752659e5 FFunc 473e46f2d365158eafcff416210e5309 Sort f220e315b91d89c678725efa47bd0097 import -/ transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.State.Strict 978f397cc30fa26d55cf117e3751a6ed import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 80d301df76f7f9d924d21f639f2a885d $fMonoidMInt :: GHC.Base.Monoid Language.Fixpoint.Types.Visitor.MInt DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsExpr :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Refinements.Expr DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsGInfo :: Language.Fixpoint.Types.Visitor.SymConsts (c a) => Language.Fixpoint.Types.Visitor.SymConsts (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsReft :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Refinements.Reft DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsSimpC :: Language.Fixpoint.Types.Visitor.SymConsts (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsSizedEnv :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Environments.BindEnv DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsSortedReft :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Refinements.SortedReft DFunId 75eb88d32e16568d5e72cad19643118d $fSymConstsSubC :: Language.Fixpoint.Types.Visitor.SymConsts (Language.Fixpoint.Types.Constraints.SubC a) DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitable(,) :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableExpr :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Refinements.Expr DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableGInfo :: Language.Fixpoint.Types.Visitor.Visitable (c a) => Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableReft :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Refinements.Reft DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableSimpC :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableSizedEnv :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Environments.BindEnv DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableSortedReft :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Refinements.SortedReft DFunId 3e16bba907469aa1fc8a5d9fb68750f0 $fVisitableSubC :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Constraints.SubC a) DFunId 508765f76b448d99de9ce45561658828 $tc'C:SymConsts :: GHC.Types.TyCon 0bd01066db01ade6076ac2b5b26aa0de $tc'C:Visitable :: GHC.Types.TyCon a0de378f01bfc106fcfeddff44d6d691 $tc'MInt :: GHC.Types.TyCon 4d9a85ab6017629b04629fd2fd1f29f8 $tc'Visitor :: GHC.Types.TyCon 52b61916a43d5d65cd634ad5a8e929a6 $tcMInt :: GHC.Types.TyCon 89de17b205e13c49513edfb158f8e580 $tcSymConsts :: GHC.Types.TyCon 7131373d4baf3fc685690a27aaa90253 $tcVisitable :: GHC.Types.TyCon 897bdb8d961139eb2ed4504f88e0df9d $tcVisitor :: GHC.Types.TyCon 4bff77845bbecd8b10380838f1e9203a $trModule :: GHC.Types.Module 80d301df76f7f9d924d21f639f2a885d newtype MInt = MInt GHC.Integer.Type.Integer 75eb88d32e16568d5e72cad19643118d class SymConsts a where symConsts :: a -> [Language.Fixpoint.Types.Refinements.SymConst] {-# MINIMAL symConsts #-} b9ef4bed975c0398d446e38f660294d9 type VisitM acc = Control.Monad.Trans.State.Strict.State acc :: * -> * 3e16bba907469aa1fc8a5d9fb68750f0 class Visitable t where visit :: GHC.Base.Monoid a => Language.Fixpoint.Types.Visitor.Visitor a c -> c -> t -> Language.Fixpoint.Types.Visitor.VisitM a t {-# MINIMAL visit #-} 7aaaf05e195f47e5ac95feab2348100b data Visitor acc ctx = Visitor {ctxExpr :: ctx -> Language.Fixpoint.Types.Refinements.Expr -> ctx, txExpr :: ctx -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr, accExpr :: ctx -> Language.Fixpoint.Types.Refinements.Expr -> acc} 0bc57e110b80653c9e83b54f06effc92 accExpr :: Language.Fixpoint.Types.Visitor.Visitor acc ctx -> ctx -> Language.Fixpoint.Types.Refinements.Expr -> acc RecSel Left Language.Fixpoint.Types.Visitor.Visitor b8b9ccce7009125afd7c68a73692a051 ctxExpr :: Language.Fixpoint.Types.Visitor.Visitor acc ctx -> ctx -> Language.Fixpoint.Types.Refinements.Expr -> ctx RecSel Left Language.Fixpoint.Types.Visitor.Visitor 5bcc1c8b49c42c7a94aa5e92615c7646 defaultVisitor :: GHC.Base.Monoid acc => Language.Fixpoint.Types.Visitor.Visitor acc ctx 2167f759ed641dc20aef1d2ac8257f4a eapps :: Language.Fixpoint.Types.Visitor.Visitable t => t -> [Language.Fixpoint.Types.Refinements.Expr] 6d940edd32eeb1001478beea6f52c733 envKVars :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Environments.BindEnv -> c a -> [Language.Fixpoint.Types.Refinements.KVar] 6e627b34aa0e85a2572611e61729f0f5 envKVarsN :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Environments.BindEnv -> c a -> [(Language.Fixpoint.Types.Refinements.KVar, GHC.Types.Int)] bbf1a1b9fb726745ac78e46383160604 fold :: (Language.Fixpoint.Types.Visitor.Visitable t, GHC.Base.Monoid a) => Language.Fixpoint.Types.Visitor.Visitor a ctx -> ctx -> a -> t -> a f13ac0accf516dd6aaa7e6fb6fd830b2 foldSort :: (a -> Language.Fixpoint.Types.Sorts.Sort -> a) -> a -> Language.Fixpoint.Types.Sorts.Sort -> a 95ec9197308c2b8f45f23416db66d636 isConcC :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> GHC.Types.Bool b6190352bab7cca608fea6a25b1a1b91 isKvarC :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> GHC.Types.Bool 21dd1dcffea29da47c8464923a702358 kvars :: Language.Fixpoint.Types.Visitor.Visitable t => t -> [Language.Fixpoint.Types.Refinements.KVar] 0ee8c1c55a207a6d12acd2dd80a2e5d3 lamSize :: Language.Fixpoint.Types.Visitor.Visitable t => t -> GHC.Integer.Type.Integer 45b35f323ee5310d8a6771872d85fe06 mapExpr :: (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr) -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr d0a452b049ee18e08fdcfb680b7e9bca mapGVars' :: Language.Fixpoint.Types.Visitor.Visitable t => ((Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Refinements.Subst) -> GHC.Base.Maybe Language.Fixpoint.Types.Refinements.Expr) -> t -> t 3e759d4901ce8c5e61397181a4540133 mapKVarSubsts :: Language.Fixpoint.Types.Visitor.Visitable t => (Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Refinements.Subst -> Language.Fixpoint.Types.Refinements.Subst) -> t -> t 92d4699eaeb4e93f255ccf3e6715824a mapKVars :: Language.Fixpoint.Types.Visitor.Visitable t => (Language.Fixpoint.Types.Refinements.KVar -> GHC.Base.Maybe Language.Fixpoint.Types.Refinements.Expr) -> t -> t 8934b8beedd85f4c1da4d83cb8ce30d1 mapKVars' :: Language.Fixpoint.Types.Visitor.Visitable t => ((Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Refinements.Subst) -> GHC.Base.Maybe Language.Fixpoint.Types.Refinements.Expr) -> t -> t 3614fd62061a3a6e3c01ac10529de960 mapMExpr :: GHC.Base.Monad m => (Language.Fixpoint.Types.Refinements.Expr -> m Language.Fixpoint.Types.Refinements.Expr) -> Language.Fixpoint.Types.Refinements.Expr -> m Language.Fixpoint.Types.Refinements.Expr 8eca27d1dca6f37169e667f843f185b9 mapSort :: (Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort) -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort a6748922e687175914ddbe06ed3a979b rhsKVars :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> [Language.Fixpoint.Types.Refinements.KVar] efcdfc925c7cb6303d66146d64099150 size :: Language.Fixpoint.Types.Visitor.Visitable t => t -> GHC.Integer.Type.Integer 6c8eca105d80e2b5e38464ca018109d9 stripCasts :: Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr 142d9602b907f9316a2df8cc69c0addf trans :: (Language.Fixpoint.Types.Visitor.Visitable t, GHC.Base.Monoid a) => Language.Fixpoint.Types.Visitor.Visitor a ctx -> ctx -> a -> t -> t 62fcf7bca70a4853569a3f5cae7865a2 txExpr :: Language.Fixpoint.Types.Visitor.Visitor acc ctx -> ctx -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr RecSel Left Language.Fixpoint.Types.Visitor.Visitor instance GHC.Base.Monoid [Language.Fixpoint.Types.Visitor.MInt] = Language.Fixpoint.Types.Visitor.$fMonoidMInt instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Visitor.$fSymConstsExpr instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Visitor.$fSymConstsGInfo instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Visitor.$fSymConstsReft instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Visitor.$fSymConstsSimpC instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Visitor.$fSymConstsSizedEnv instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Visitor.$fSymConstsSortedReft instance Language.Fixpoint.Types.Visitor.SymConsts [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Visitor.$fSymConstsSubC instance Language.Fixpoint.Types.Visitor.Visitable [(,)] = Language.Fixpoint.Types.Visitor.$fVisitable(,) instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Refinements.Expr] = Language.Fixpoint.Types.Visitor.$fVisitableExpr instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Constraints.GInfo] = Language.Fixpoint.Types.Visitor.$fVisitableGInfo instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Refinements.Reft] = Language.Fixpoint.Types.Visitor.$fVisitableReft instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Constraints.SimpC] = Language.Fixpoint.Types.Visitor.$fVisitableSimpC instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Environments.SizedEnv] = Language.Fixpoint.Types.Visitor.$fVisitableSizedEnv instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Refinements.SortedReft] = Language.Fixpoint.Types.Visitor.$fVisitableSortedReft instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Constraints.SubC] = Language.Fixpoint.Types.Visitor.$fVisitableSubC vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False