==================== FINAL INTERFACE ====================
2017-05-08 17:11:24.179413 UTC

interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Defunctionalize 8002
  interface hash: 630aa06d8d095d161ceb10d722c73268
  ABI hash: 8acece72d61f2fb79269be16e6cbbc85
  export-list hash: 6cf7988eea4549cf616df526e14b274f
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: efefea085f57ac4c34e4e8a84ae24728
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Defunctionalize.defuncAny
  Language.Fixpoint.Defunctionalize.defunctionalize
  Language.Fixpoint.Defunctionalize.makeLamArg
  Language.Fixpoint.Defunctionalize.Defunc{Language.Fixpoint.Defunctionalize.defunc}
module dependencies: Language.Fixpoint.Graph
                     Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed
                     Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible
                     Language.Fixpoint.Graph.Types Language.Fixpoint.Misc
                     Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types
                     Language.Fixpoint.Solver.Sanitize Language.Fixpoint.SortCheck
                     Language.Fixpoint.Types Language.Fixpoint.Types.Config
                     Language.Fixpoint.Types.Constraints
                     Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors
                     Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint
                     Language.Fixpoint.Types.Refinements
                     Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts
                     Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions
                     Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils
                     Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files
package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo
                      array-0.5.1.1@array-0.5.1.1
                      async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0
                      binary-0.8.3.0@binary-0.8.3.0
                      boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m
                      bytestring-0.10.8.1@bytestring-0.10.8.1
                      cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e
                      cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I
                      containers-0.5.7.1@containers-0.5.7.1
                      deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0
                      double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr
                      fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz
                      filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0
                      hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x
                      integer-gmp-1.0.0.1
                      intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx
                      located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3
                      mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6
                      parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw
                      pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0
                      split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk
                      stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve
                      syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS
                      text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR
                      text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG
                      time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0
                      unix-2.7.2.1@unix-2.7.2.1
                      unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o
orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float
         binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic
         bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder
         cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help
         hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic
         liquid-fixpoint-0.6.0.1-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
         transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error
family instance modules: base-4.9.1.0:Control.Applicative
                         base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either
                         base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const
                         base-4.9.1.0:Data.Functor.Identity
                         base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum
                         base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid
                         base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality
                         base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void
                         base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics
                         base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits
                         containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base
                         containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base
                         containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base
                         containers-0.5.7.1@containers-0.5.7.1:Data.Sequence
                         containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base
                         fgl-5.5.3.1@fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz:Data.Graph.Inductive.PatriciaTree
                         intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text
                         liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Types
                         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.Solutions
                         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:Control.Monad a6784c5dab0d75c63dabec5a37843f98
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.Maybe d876c4ffe4b3c43755a781e8ad860d88
import  -/  base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8
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.List ab8c4e523e6c479c549d3bcd5fc4a439
import  -/  base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8
import  -/  base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771
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  -/  Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65
  exports: 3408045fd5294879efb3c76c6b2e957b
  fM 46afd0d234bec8eb6496890b5027bd3e
  mapSnd f65111045c3b2a9d41f6f3caa9da6536
  secondM caed93a0a49c852b39e269ed44e001a6
  sortNub 84a7619417d4bda4412d2f78a0fc0398
  whenM 244f7264130d27c8f8fd50243d803fdb
import  -/  Language.Fixpoint.Solver.Sanitize ff19a94c7792aae49f20f609ba480654
  exports: 413c872f3f39b8d2fc50665da15a3129
  symbolEnv 91257bce47799fc9438964e3400bca8b
import  -/  Language.Fixpoint.SortCheck 04ab21222148af2d124cde0e043ef924
  exports: e64dfad7b499c2aab7e3652ca9b527d5
  checkSortExpr 60378f3fde1698788b48e08c6c095851
import  -/  Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2
  exports: 0af36b6c83c4ee67c2150e62bec20e14
import  -/  Language.Fixpoint.Types.Config 8ed6de90331535ece74d4ff7fcfff0df
  exports: 26252365e1684d225d5392dd42c93881
  Config a1e0868924a10a6ced01485926d4ec1f
  allowHO 587e1116b380ba07215a8e210d9d1e83
  alphaEquivalence 8b32e19e8cf76d27d57c3d0da1fa7fbd
  betaEquivalence 37d7b14df12e1f1854a976787f91686e
  defunction 3f722f3a6a74e2592f711e9ec29d301d
  normalForm a5bf652c51289923a3d53964084fb14a
import  -/  Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba
  GInfo c4bf42c4a9b32550baf9a82ec918fc53
  GWfC 94140b52ce336a63bb6f2d130ed7a353
  SInfo c4bf42c4a9b32550baf9a82ec918fc53
  SimpC ab7e97d469950e731d9d2580ab8541ef
  TaggedC 88438ba686e9ba19347ed3d4d63cc789
  WfC 7d5ebbb76d58bc3b7020d08b1f75fb5a
  WfC 17c7f6e4d74d3b539dca7c3556bc9f4f
  _crhs 100ba846958047a5479147c0b29c64d1
  asserts 69b9897dc50fa2df634150744b1839b5
  bs d61bc046b917adffb7499296cdd6f706
  cm bd6d51f78a487f86f74c55f8b64d03e8
  dLits 991f2dd7463045089506239416f33237
  gLits 34f167f6faeca9302af46eb8206147c8
  senv 160d900354e746714fa262d20fcb4793
  wenv 33a9fbd5d0ed8c2940233f2b555706e7
  wexpr 8926523f7c6ccbef671754afc2c9a9f9
  wrft d83900b61f262b29c1f6a26d0573c4bf
  ws fef3eea7365ecfd2111de5aae1af543e
import  -/  Language.Fixpoint.Types.Environments 543f9ab0c0e6bbaadca48613d73bba8e
  BindEnv b22ca5d85c77eb9cc63ef625fe87597a
  IBindEnv cb3149cea0637142c180ee8c5b609e12
  SEnv 6b7a0813b490d3c69166a159d2c90bbe
  emptyIBindEnv 318829125bf1dc50e1d5a9154100fc92
  insertSEnv b1fcadbf886d1d01b17810eae18f2236
  lookupSEnv e2e97f275a8757619e9e698048991f5e
  mapMSEnv ca77aad0bab6067b390ded86c4ab1db2
  mapWithKeyMBindEnv 50745e64bd816274b9f07bec65b5e354
  memberIBindEnv 85dcafc870f8c0b617804dd335129034
import  -/  Language.Fixpoint.Types.Names 79719145fadff03f061f9658911fa747
  Symbol 107cf7489707dd0de1ccae6d6e42b2ab
  intArgName 9b48e15293eaff61153174f73d489aae
  intSymbol 7d9f6533931c4ca82771ea23fbc8a8fd
import  -/  Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5
  Fixpoint ed2c9c62a916ec4b9fedf9553cd44702
import  -/  Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0
  EApp f28c7506728f5dca0b25fa72af857711
  ECst 06c1a8791e33ac7ca6714e477124b679
  EEq 0da0d0614c67bc3980490eff1859ba94
  ELam 7952c5569d03e76870e8a12746cdba85
  EVar 566b7c7ff8fdc63c55d18f2d537af0b8
  Expr bb73da387a50fe3797caa66eb4fb9c35
  PAll 3c207c04197a306333e12ea805cc0e1b
  PTrue bc0d3a71b6fe213efce25819b87c1a37
  RR 0a874a8408748c051c510af8e624ba5d
  Reft f5a891a2ea821362b40d468df43305ef
  Reft bb73da387a50fe3797caa66eb4fb9c35
  SortedReft bb73da387a50fe3797caa66eb4fb9c35
  subst1 e9f69f8049a971314510a206adfbf8a8
  syms 3959efd3a483c9eaea7b62fe89b99ca8
import  -/  Language.Fixpoint.Types.Sorts 83ad94f859259f35d028eee3fcecd8da
  Sort f220e315b91d89c678725efa47bd0097
import  -/  Language.Fixpoint.Types.Triggers c2e760ad7f82403b36096398e6cdbd50
  TR 6c9fea8719a0dbc26cac8f3768ae8d3a
  Triggered d39972cec2a7b7cef313086c01f66d7e
  noTrigger f3d7a7c3f92115e00705e28214155cfa
import  -/  Language.Fixpoint.Types.Visitor 562b326437be6bf1306273f048769e9c
  exports: af05a96a471de9ae7bb1b445015e81c2
  mapMExpr 3614fd62061a3a6e3c01ac10529de960
  stripCasts 6c8eca105d80e2b5e38464ca018109d9
import  -/  mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State 749dca8ca0e6625b32091d445bd92b01
import  -/  mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6:Control.Monad.State.Class 6d31234b0a911b56412061943d18b89e
import  -/  transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.State.Lazy 371607e50dde46b5f4103b3ab334a497
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
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefunc(,) ::
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Names.Symbol,
       Language.Fixpoint.Types.Sorts.Sort)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefunc(,)0 ::
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Names.Symbol,
       Language.Fixpoint.Types.Refinements.SortedReft)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncExpr ::
    Language.Fixpoint.Defunctionalize.Defunc
      Language.Fixpoint.Types.Refinements.Expr
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncGInfo ::
    (Language.Fixpoint.Defunctionalize.Defunc (c a),
     Language.Fixpoint.Types.Constraints.TaggedC c a) =>
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Constraints.GInfo c a)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncHashMap ::
    (Language.Fixpoint.Defunctionalize.Defunc a, GHC.Classes.Eq k,
     Data.Hashable.Class.Hashable k) =>
    Language.Fixpoint.Defunctionalize.Defunc
      (Data.HashMap.Base.HashMap k a)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncReft ::
    Language.Fixpoint.Defunctionalize.Defunc
      Language.Fixpoint.Types.Refinements.Reft
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncSEnv ::
    Language.Fixpoint.Defunctionalize.Defunc a =>
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Environments.SEnv a)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncSimpC ::
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Constraints.SimpC a)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncSizedEnv ::
    Language.Fixpoint.Defunctionalize.Defunc
      Language.Fixpoint.Types.Environments.BindEnv
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncSort ::
    Language.Fixpoint.Defunctionalize.Defunc
      Language.Fixpoint.Types.Sorts.Sort
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncSortedReft ::
    Language.Fixpoint.Defunctionalize.Defunc
      Language.Fixpoint.Types.Refinements.SortedReft
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncTriggered ::
    Language.Fixpoint.Defunctionalize.Defunc a =>
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Triggers.Triggered a)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefuncWfC ::
    Language.Fixpoint.Defunctionalize.Defunc
      (Language.Fixpoint.Types.Constraints.WfC a)
  DFunId
05fe5c0a2dd83afb0c80d536412ac4aa
  $fDefunc[] ::
    Language.Fixpoint.Defunctionalize.Defunc a =>
    Language.Fixpoint.Defunctionalize.Defunc [a]
  DFunId
fa3b8abeb0347b0e9306d6515c711673
  $tc'C:Defunc :: GHC.Types.TyCon
2ecd2cde30805fd7eba892ecd58059a1
  $tc'DFST :: GHC.Types.TyCon
266966addd87c7cfa4a4be1762b95030
  $tcDFST :: GHC.Types.TyCon
9893cab38ce001ddd4e6456603915b7d
  $tcDefunc :: GHC.Types.TyCon
5c83835cfcc752c1ed3387b2c46771dc
  $trModule :: GHC.Types.Module
8fff2b686bd86cddf666845510bf82b7
  type DF =
    Control.Monad.Trans.State.Lazy.State
      Language.Fixpoint.Defunctionalize.DFST
    :: * -> *
8b431c7294f0b60303d744a5e89afd1d
  data DFST
    = DFST {dfFresh :: !GHC.Types.Int,
            dfEnv :: !Language.Fixpoint.Types.Environments.SEnv
                        Language.Fixpoint.Types.Sorts.Sort,
            dfBEnv :: !Language.Fixpoint.Types.Environments.IBindEnv,
            dfLam :: !GHC.Types.Bool,
            dfExt :: !GHC.Types.Bool,
            dfAEq :: !GHC.Types.Bool,
            dfBEq :: !GHC.Types.Bool,
            dfNorm :: !GHC.Types.Bool,
            dfHO :: !GHC.Types.Bool,
            dfLNorm :: !GHC.Types.Bool,
            dfLams :: ![Language.Fixpoint.Types.Refinements.Expr],
            dfRedex :: ![Language.Fixpoint.Types.Refinements.Expr],
            dfBinds :: !Language.Fixpoint.Types.Environments.SEnv
                          Language.Fixpoint.Types.Sorts.Sort}
05fe5c0a2dd83afb0c80d536412ac4aa
  class Defunc a where
    defunc :: a -> Language.Fixpoint.Defunctionalize.DF a
    {-# MINIMAL defunc #-}
71ada2f5818778945110ead62bf686cc
  defuncAny ::
    Language.Fixpoint.Defunctionalize.Defunc a =>
    Language.Fixpoint.Types.Config.Config
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.Sort
    -> a
    -> a
08b99760054eadcc59d0f45d17f083b1
  defunctionalize ::
    Language.Fixpoint.Types.PrettyPrint.Fixpoint a =>
    Language.Fixpoint.Types.Config.Config
    -> Language.Fixpoint.Types.Constraints.SInfo a
    -> Language.Fixpoint.Types.Constraints.SInfo a
5f056b4fc530e5ea6aa2e298c0518346
  dfAEq :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
982aa216161b5fc9ad6609216ef0f23c
  dfBEnv ::
    Language.Fixpoint.Defunctionalize.DFST
    -> Language.Fixpoint.Types.Environments.IBindEnv
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
4d6c572990677884bc9c740b53bb64e7
  dfBEq :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
a4c76ed15fd24908bad36ecadd0ee7d9
  dfBinds ::
    Language.Fixpoint.Defunctionalize.DFST
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.Sort
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
4e0b32a8c0dfea831910b3661a9d359a
  dfEnv ::
    Language.Fixpoint.Defunctionalize.DFST
    -> Language.Fixpoint.Types.Environments.SEnv
         Language.Fixpoint.Types.Sorts.Sort
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
26a1b2e4f61e151da786a3bed209c3c3
  dfExt :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
f631303ae093d86d8d98857970903d08
  dfFresh :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Int
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
05ce121537b91cd02d90ab6894cb32ef
  dfHO :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
1306f63522e51e84ed25b33187d7f7c0
  dfLNorm :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
010eccf4646c08cd95e173bbba7ee956
  dfLam :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
3c7cb7108c15a2dc028f549496dc4137
  dfLams ::
    Language.Fixpoint.Defunctionalize.DFST
    -> [Language.Fixpoint.Types.Refinements.Expr]
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
f6155786dbcf4e6e2c410e624325b166
  dfNorm :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
bc0b015707d1ebabc9717e9a64c37dae
  dfRedex ::
    Language.Fixpoint.Defunctionalize.DFST
    -> [Language.Fixpoint.Types.Refinements.Expr]
  RecSel Left Language.Fixpoint.Defunctionalize.DFST
5c4bdeae81da81fcef56b54f94e21ccf
  makeLamArg ::
    Language.Fixpoint.Types.Sorts.Sort
    -> GHC.Types.Int -> Language.Fixpoint.Types.Names.Symbol
instance Language.Fixpoint.Defunctionalize.Defunc [(,)]
  = Language.Fixpoint.Defunctionalize.$fDefunc(,)
instance Language.Fixpoint.Defunctionalize.Defunc [(,)]
  = Language.Fixpoint.Defunctionalize.$fDefunc(,)0
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Refinements.Expr]
  = Language.Fixpoint.Defunctionalize.$fDefuncExpr
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Constraints.GInfo]
  = Language.Fixpoint.Defunctionalize.$fDefuncGInfo
instance Language.Fixpoint.Defunctionalize.Defunc [Data.HashMap.Base.HashMap]
  = Language.Fixpoint.Defunctionalize.$fDefuncHashMap
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Refinements.Reft]
  = Language.Fixpoint.Defunctionalize.$fDefuncReft
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Environments.SEnv]
  = Language.Fixpoint.Defunctionalize.$fDefuncSEnv
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Constraints.SimpC]
  = Language.Fixpoint.Defunctionalize.$fDefuncSimpC
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Environments.SizedEnv]
  = Language.Fixpoint.Defunctionalize.$fDefuncSizedEnv
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Sorts.Sort]
  = Language.Fixpoint.Defunctionalize.$fDefuncSort
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Refinements.SortedReft]
  = Language.Fixpoint.Defunctionalize.$fDefuncSortedReft
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Triggers.Triggered]
  = Language.Fixpoint.Defunctionalize.$fDefuncTriggered
instance Language.Fixpoint.Defunctionalize.Defunc [Language.Fixpoint.Types.Constraints.WfC]
  = Language.Fixpoint.Defunctionalize.$fDefuncWfC
instance Language.Fixpoint.Defunctionalize.Defunc [[]]
  = Language.Fixpoint.Defunctionalize.$fDefunc[]
vectorised variables:
vectorised tycons:
vectorised reused tycons:
parallel variables:
parallel tycons:
trusted: none
require own pkg trusted: False