==================== FINAL INTERFACE ==================== 2019-09-22 14:52:39.269247 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Visitor 8065 interface hash: 3d59429d11dd28a20b18b30bc28c7c8b ABI hash: f18ce5f6a562022e9c59dbca8db1edad export-list hash: 483fcd13e73dd85ffa64d4931a72ac90 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 7c4c731287e9eb692dd8c287947d8a8b opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Types.Visitor.applyCoSub 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.foldDataDecl 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.CoSub 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.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Utils.Files Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 mtl-2.2.2 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: transformers-0.5.6.2:Control.Monad.Trans.Error liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base family instance modules: base-4.12.0.0:Control.Applicative base-4.12.0.0:Data.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e import -/ base-4.12.0.0:Data.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e <$$> f244c7fc8096aeb8cdce308fe12a467d count 0e218eb0bd335b3db6cb1b4f7471e024 sortNub 7d73d874da71f31bd97dc544f8572fc4 import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 AxiomEnv 90ef96c47f269969affd7c3639af34f3 Equation 1b8c537886bd491bbeaae4b7cdcd5c8f GInfo 90ef96c47f269969affd7c3639af34f3 Rewrite 7df085a191521cbf745e28451770fe1d SimpC 03dcffeea2a5199db7c9ff0154825bc0 SubC 1844afeba4cbd3ee9cea173e868f8ce9 TaggedC ec47f4df806fb3eb50e32a07ab4ee371 _crhs 03dcffeea2a5199db7c9ff0154825bc0 ae 90ef96c47f269969affd7c3639af34f3 aenvEqs 90ef96c47f269969affd7c3639af34f3 aenvSimpl 90ef96c47f269969affd7c3639af34f3 bs 90ef96c47f269969affd7c3639af34f3 clhs 00dbb4f04b49ed91a7500360192dbe82 cm 90ef96c47f269969affd7c3639af34f3 crhs 9701eec311803b00e8ff03aadeb150fa eqBody 1b8c537886bd491bbeaae4b7cdcd5c8f qBody 9aae2bcc537b45559d03a4eee2bb72e5 quals 90ef96c47f269969affd7c3639af34f3 slhs 1844afeba4cbd3ee9cea173e868f8ce9 smBody 7df085a191521cbf745e28451770fe1d srhs 1844afeba4cbd3ee9cea173e868f8ce9 import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20 BindEnv 97a88bb9b7d5b682cdead95f91d87a04 beBinds 97a88bb9b7d5b682cdead95f91d87a04 import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a Symbol 3f986d27cdf6315dd770c516fc00a643 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc EApp 54242238b0fd99173645e603ea6a95e1 EBin 584c6077045554d53d7c9a89592b60d3 ECoerc d62592d9495e238bd832577950db4048 ECon 5baa7919e17f9fc7e290e6ec391edfe0 ECst 77d8fb760e457bfd124c455ed691c864 EIte bcb7471d1eafba69c1a57099f120b1bb ELam e0029a0f9c90cfaf5ca8a8fc8de8a995 ENeg c7c4772e5c9c737684dc4ada02f5ae77 ESym 1e9d62c909ab81c24aa5b70ea45dd385 ETAbs 6c85c26f9de90ebed31639fcdf59cab4 ETApp c6b0114335eb572da40fed762c8d9566 EVar dbcccd19fa06e8cd413d3f8989324ef6 Expr 58dd7eff6040aa97f060415235c6cb01 KVar f4ebd74e51621c4f10e9fc003e3885a9 PAll 95061dd88b416f835271772df1b74807 PAnd 668269c725f0f517f2cefead144acbec PAtom efd69e8b2834a0937ec103ca6d2f2b7d PExist c6ca2ca0202788949bf0d916db637f7a PGrad 550de568c0242ed5fa6ef66e4aa1194d PIff 2a17d6131a34fb2676761302524edfd8 PImp 71d909aca81df6b76b372b30b2979f8d PKVar 00776deded6bdc1a9b45a9cd2ff73aa5 PNot dd52d33c67ccd94ba2b9bc2daaf6153f POr 8896d8a5009f7964d0fb6a9c72eaff6c RR bc18741bade52dfcbbbc2473e1b91821 Reft 11628612f280bce553f9c182ec061ec6 Reft 58dd7eff6040aa97f060415235c6cb01 SortedReft 58dd7eff6040aa97f060415235c6cb01 Subst 58dd7eff6040aa97f060415235c6cb01 SymConst 70bf9d44b2d107fffacade38f4990bd9 conjuncts 62dbde6d56cf10a600838f12dff254d8 sr_reft 58dd7eff6040aa97f060415235c6cb01 subst 8dc51beb28f3e734b2b3097edf7df9c8 import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6 DataCtor 90984d28a9f3c849d44b1ec37334f5cb DataDecl 90984d28a9f3c849d44b1ec37334f5cb FAbs 8827fd69dabe452c42c2c745dfa98689 FApp 1d71c4ce8486fd8718c15888c11af1b5 FFunc a2098452dd53c51f7531db6145200e8d FObj 1bb5d6e74aaa46fc1c29e2a322aa25fa Sort 30d6fd7d99459ff88296e3b55c87b46c dcFields 90984d28a9f3c849d44b1ec37334f5cb ddCtors 90984d28a9f3c849d44b1ec37334f5cb dfSort 842b037f4a3d7555ff8e2c17ccb73443 import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418 import -/ mtl-2.2.2:Control.Monad.State.Strict 002b59b64e6c924e7580467701dff139 import -/ transformers-0.5.6.2:Control.Monad.Trans.State.Strict acaa441e4b4c8edd4a30c00b2a2d825f import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 55959aac6b8d0ee02bb5d6d5b0e8ceb7 $fMonoidMInt :: GHC.Base.Monoid Language.Fixpoint.Types.Visitor.MInt DFunId 55959aac6b8d0ee02bb5d6d5b0e8ceb7 $fSemigroupMInt :: GHC.Base.Semigroup Language.Fixpoint.Types.Visitor.MInt DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsExpr :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Refinements.Expr DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsGInfo :: Language.Fixpoint.Types.Visitor.SymConsts (c a) => Language.Fixpoint.Types.Visitor.SymConsts (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsReft :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Refinements.Reft DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsSimpC :: Language.Fixpoint.Types.Visitor.SymConsts (Language.Fixpoint.Types.Constraints.SimpC a) DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsSizedEnv :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Environments.BindEnv DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsSortedReft :: Language.Fixpoint.Types.Visitor.SymConsts Language.Fixpoint.Types.Refinements.SortedReft DFunId a6b45242487b1eb1d67c83e820c5232f $fSymConstsSubC :: Language.Fixpoint.Types.Visitor.SymConsts (Language.Fixpoint.Types.Constraints.SubC a) DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitable(,) :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Names.Symbol, Language.Fixpoint.Types.Refinements.SortedReft) DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableAxiomEnv :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Constraints.AxiomEnv DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableEquation :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Constraints.Equation DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableExpr :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Refinements.Expr DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableGInfo :: Language.Fixpoint.Types.Visitor.Visitable (c a) => Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Constraints.GInfo c a) DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableReft :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Refinements.Reft DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableRewrite :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Constraints.Rewrite DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableSimpC :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Constraints.SimpC a) DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableSizedEnv :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Environments.BindEnv DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableSortedReft :: Language.Fixpoint.Types.Visitor.Visitable Language.Fixpoint.Types.Refinements.SortedReft DFunId 538848ccf7d607090eacca8d17c97af6 $fVisitableSubC :: Language.Fixpoint.Types.Visitor.Visitable (Language.Fixpoint.Types.Constraints.SubC a) DFunId 48d5c9097ee0ae097c9ec32b58eccc8f $tc'C:SymConsts :: GHC.Types.TyCon 9096884b7f1c9c478fc8141ef71284a3 $tc'MInt :: GHC.Types.TyCon 1ab994912c6d8f21c6987a6866edb4ca $tc'Visitor :: GHC.Types.TyCon 0b76d8e4659e9891262811e93f42db84 $tcMInt :: GHC.Types.TyCon 2b52f4fa5b5fb8a8fb4b3549e431c619 $tcSymConsts :: GHC.Types.TyCon ccd7f410a13c9d9ce9d83ec6ff142fc6 $tcVisitable :: GHC.Types.TyCon 913912f331d7f6ec0ff5a8f3c45ddff2 $tcVisitor :: GHC.Types.TyCon fa8a6db75f6f31b4d23032618519384d $trModule :: GHC.Types.Module ae19ecb7b9cebeebc678aeb4d5e66971 type CoSub = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Names.Symbol Language.Fixpoint.Types.Sorts.Sort 55959aac6b8d0ee02bb5d6d5b0e8ceb7 newtype MInt = MInt GHC.Integer.Type.Integer a6b45242487b1eb1d67c83e820c5232f class SymConsts a where symConsts :: a -> [Language.Fixpoint.Types.Refinements.SymConst] {-# MINIMAL symConsts #-} 79e0b3deb238afa746360f641b4cc9ee type VisitM acc = Control.Monad.Trans.State.Strict.State acc :: * -> * 538848ccf7d607090eacca8d17c97af6 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 #-} b907595a56c63aacc071b11708504163 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} b907595a56c63aacc071b11708504163 accExpr :: Language.Fixpoint.Types.Visitor.Visitor acc ctx -> ctx -> Language.Fixpoint.Types.Refinements.Expr -> acc RecSel Left Language.Fixpoint.Types.Visitor.Visitor 1907ecc976e7280789f011571d4309c9 applyCoSub :: Language.Fixpoint.Types.Visitor.CoSub -> Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr b907595a56c63aacc071b11708504163 ctxExpr :: Language.Fixpoint.Types.Visitor.Visitor acc ctx -> ctx -> Language.Fixpoint.Types.Refinements.Expr -> ctx RecSel Left Language.Fixpoint.Types.Visitor.Visitor 702ceebf65ec7e45cbc2b67c3c0c84d3 defaultVisitor :: GHC.Base.Monoid acc => Language.Fixpoint.Types.Visitor.Visitor acc ctx 287bde89c4deb7bf73c8d44f307b54f7 eapps :: Language.Fixpoint.Types.Visitor.Visitable t => t -> [Language.Fixpoint.Types.Refinements.Expr] 784f60e3e785577497db1a4d2900625e envKVars :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Environments.BindEnv -> c a -> [Language.Fixpoint.Types.Refinements.KVar] d41a77b81a8cda60e8ad71df46f5b649 envKVarsN :: Language.Fixpoint.Types.Constraints.TaggedC c a => Language.Fixpoint.Types.Environments.BindEnv -> c a -> [(Language.Fixpoint.Types.Refinements.KVar, GHC.Types.Int)] 3ff20672dabf1b7d83dceb37cbf5293a fold :: (Language.Fixpoint.Types.Visitor.Visitable t, GHC.Base.Monoid a) => Language.Fixpoint.Types.Visitor.Visitor a ctx -> ctx -> a -> t -> a fa01ba3dae0c84e0cae8da375e05be82 foldDataDecl :: (a -> Language.Fixpoint.Types.Sorts.Sort -> a) -> a -> Language.Fixpoint.Types.Sorts.DataDecl -> a 4addac03f919de23a8aa78ec914cc93b foldSort :: (a -> Language.Fixpoint.Types.Sorts.Sort -> a) -> a -> Language.Fixpoint.Types.Sorts.Sort -> a 2f660a3d29daa78cb1b3ea5a2a1db8d7 isConcC :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> GHC.Types.Bool ec2c3f4b035e45ed20df6c5d4f616a6c isKvarC :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> GHC.Types.Bool c0e50d3c638d80582ef2ff4559ccde96 kvars :: Language.Fixpoint.Types.Visitor.Visitable t => t -> [Language.Fixpoint.Types.Refinements.KVar] 704f087ce4b84daca7b73940090972c4 lamSize :: Language.Fixpoint.Types.Visitor.Visitable t => t -> GHC.Integer.Type.Integer 5174372ce3f7640f1d33ad4800d0ce6d mapExpr :: Language.Fixpoint.Types.Visitor.Visitable t => (Language.Fixpoint.Types.Refinements.Expr -> Language.Fixpoint.Types.Refinements.Expr) -> t -> t 8c97587b713809af4b9e9ba86ff22a20 mapGVars' :: Language.Fixpoint.Types.Visitor.Visitable t => ((Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Refinements.Subst) -> GHC.Maybe.Maybe Language.Fixpoint.Types.Refinements.Expr) -> t -> t e04782062e21c8e7f96200bce79c4edc mapKVarSubsts :: Language.Fixpoint.Types.Visitor.Visitable t => (Language.Fixpoint.Types.Refinements.KVar -> Language.Fixpoint.Types.Refinements.Subst -> Language.Fixpoint.Types.Refinements.Subst) -> t -> t af441d27aeda370329d09896076c30f8 mapKVars :: Language.Fixpoint.Types.Visitor.Visitable t => (Language.Fixpoint.Types.Refinements.KVar -> GHC.Maybe.Maybe Language.Fixpoint.Types.Refinements.Expr) -> t -> t 6814396b5739534d36f265a08441444e mapKVars' :: Language.Fixpoint.Types.Visitor.Visitable t => ((Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Refinements.Subst) -> GHC.Maybe.Maybe Language.Fixpoint.Types.Refinements.Expr) -> t -> t 6293e52d58f2fec83e2af187562c44a6 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 6348e503c5fed42606b27aaced2038fe mapSort :: (Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort) -> Language.Fixpoint.Types.Sorts.Sort -> Language.Fixpoint.Types.Sorts.Sort c3fdeb202ac602acd77641047c2b5ffa rhsKVars :: Language.Fixpoint.Types.Constraints.TaggedC c a => c a -> [Language.Fixpoint.Types.Refinements.KVar] e20258e6177f0e053e92d5fce6e9f05f size :: Language.Fixpoint.Types.Visitor.Visitable t => t -> GHC.Integer.Type.Integer 2e0061e71ddda5abcf68bb484630ae3e stripCasts :: Language.Fixpoint.Types.Visitor.Visitable t => t -> t 95b3f331427c9bad5e5eba78717c7663 trans :: (Language.Fixpoint.Types.Visitor.Visitable t, GHC.Base.Monoid a) => Language.Fixpoint.Types.Visitor.Visitor a ctx -> ctx -> a -> t -> t b907595a56c63aacc071b11708504163 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 GHC.Base.Semigroup [Language.Fixpoint.Types.Visitor.MInt] = Language.Fixpoint.Types.Visitor.$fSemigroupMInt 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.Constraints.AxiomEnv] = Language.Fixpoint.Types.Visitor.$fVisitableAxiomEnv instance Language.Fixpoint.Types.Visitor.Visitable [Language.Fixpoint.Types.Constraints.Equation] = Language.Fixpoint.Types.Visitor.$fVisitableEquation 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.Rewrite] = Language.Fixpoint.Types.Visitor.$fVisitableRewrite 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 trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: