liquid-fixpoint-0.8.0.2: .stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/src/Language/Fixpoint/Defunctionalize.dump-hi
==================== FINAL INTERFACE ====================
2019-09-22 14:52:53.161252 UTC
interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Defunctionalize 8065
interface hash: fc5da96bda011ec5730852a626256c77
ABI hash: 1d90f9122b6c5e6ad683a06eb6b5b76c
export-list hash: 44b2eca79f60178c88556395b24303d5
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: 9eb6b83e07344364fb5b0fa4f4bfc709
opt_hash: d0a78e7b344f95c7406be35c9b75e196
hpc_hash: 93b885adfe0da089cdf634904fd59f71
plugin_hash: ad164012d6b1e14942349d58b1132007
sig of: Nothing
used TH splices: False
where
exports:
Language.Fixpoint.Defunctionalize.defuncAny
Language.Fixpoint.Defunctionalize.defunctionalize
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.Templates Language.Fixpoint.Types.Theories
Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils
Language.Fixpoint.Types.Visitor 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 double-conversion-2.0.2.0
fgl-5.7.0.1 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 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2
unix-2.7.2.2 unordered-containers-0.2.9.0
orphans: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories
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
fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree
intern-0.9.2:Data.Interned.Internal.Text
liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types
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.Solutions
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:Control.Monad 07eaec7fd256019b318d048d00f45b1c
import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075
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 -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28
import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b
import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5
exports: c71e07620cb71e48240d161f1a37aa5e
fM fc0ed533fb3547ed8f3e5e90f6f89b62
mapSnd 56a8c287203c2790b4db9115db2b9192
secondM 769157a40c452ca0ad3ada0e937271df
import -/ Language.Fixpoint.Solver.Sanitize da8eac0e8562bb4a8fb712f9620a920d
exports: 09f539552af63f8cdd1953f939eb3211
symbolEnv e9ab0691e8ecbe0102273ed657a09d59
import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f
exports: 62d26edd591b195eabce115b8380fe6e
import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd
exports: b55741973d8e26ddd46c69a42379ac12
Config 3988ec36858b82afed711ea7ff67ff00
allowHO 3988ec36858b82afed711ea7ff67ff00
defunction 3988ec36858b82afed711ea7ff67ff00
import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436
GInfo 90ef96c47f269969affd7c3639af34f3
GWfC bec043696f6233a82767c87474654ee6
SInfo 90ef96c47f269969affd7c3639af34f3
SimpC 03dcffeea2a5199db7c9ff0154825bc0
TaggedC ec47f4df806fb3eb50e32a07ab4ee371
WfC 1ac206eb21b0e2e607ad20985c4be7cd
WfC ad7a627c031dc594c719d4e423bdd067
_crhs 03dcffeea2a5199db7c9ff0154825bc0
asserts 90ef96c47f269969affd7c3639af34f3
bs 90ef96c47f269969affd7c3639af34f3
cm 90ef96c47f269969affd7c3639af34f3
dLits 90ef96c47f269969affd7c3639af34f3
gLits 90ef96c47f269969affd7c3639af34f3
senv b5a22d3808334133ad38d92f07d130ac
wenv ad7a627c031dc594c719d4e423bdd067
wexpr ad7a627c031dc594c719d4e423bdd067
wrft ad7a627c031dc594c719d4e423bdd067
ws 90ef96c47f269969affd7c3639af34f3
import -/ Language.Fixpoint.Types.Environments 5f649aef2fe87979164c56acf3750e20
BindEnv 97a88bb9b7d5b682cdead95f91d87a04
IBindEnv b71d4c279d7a7920d70dd44bac0305aa
SEnv 7b76b1b3898bd64fc8c2187c261c0f80
emptyIBindEnv 6cfa8d73992960a6ab6331f8d3b757ff
insertSEnv 4288c53866870f2766a71eff8924b8fb
mapMSEnv 152e72246f3c15ad5db786e1c57bd498
mapWithKeyMBindEnv 219f508e16df9faacad8d3bc324a44d1
memberIBindEnv 042d686ac1046dc546144657885262c4
import -/ Language.Fixpoint.Types.Names 24bdf320bdb18d7e1da06545fbe0099a
Symbol 3f986d27cdf6315dd770c516fc00a643
intSymbol a4ae136aedf5d0fada743997e9c6751f
lamArgSymbol 934937917f1dc2b7ff950de0d0661403
import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
Fixpoint 98d26628e0637967f879c1c12cfa20b7
import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc
EApp 54242238b0fd99173645e603ea6a95e1
ECst 77d8fb760e457bfd124c455ed691c864
ELam e0029a0f9c90cfaf5ca8a8fc8de8a995
EVar dbcccd19fa06e8cd413d3f8989324ef6
Expr 58dd7eff6040aa97f060415235c6cb01
PAll 95061dd88b416f835271772df1b74807
RR bc18741bade52dfcbbbc2473e1b91821
Reft 11628612f280bce553f9c182ec061ec6
Reft 58dd7eff6040aa97f060415235c6cb01
SortedReft 58dd7eff6040aa97f060415235c6cb01
subst1 32fda17df52baa2dc57c3f6fcba8c1ae
import -/ Language.Fixpoint.Types.Sorts d0243918454a124f22fcf2431757efd6
Sort 30d6fd7d99459ff88296e3b55c87b46c
import -/ Language.Fixpoint.Types.Theories 2d31db6b0cdc7b0f2231db238b021516
SymEnv 0506688674ca55c28cc4df4c4dbdb2df
import -/ Language.Fixpoint.Types.Triggers 8abd2355db756b37b9b5fb3b0ce44e32
TR a3d1f7b1a17835a315118c4cf4f7907f
Triggered d4e347d662ffae46e19beccd9e71f8e0
import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad
exports: 483fcd13e73dd85ffa64d4931a72ac90
mapMExpr 6293e52d58f2fec83e2af187562c44a6
import -/ mtl-2.2.2:Control.Monad.State 753def63fe8e937dc636f11e5230745a
import -/ mtl-2.2.2:Control.Monad.State.Class 243c828469104fb94563be0ea268f418
import -/ transformers-0.5.6.2:Control.Monad.Trans.State.Lazy 0c22827dedcb94d04bf072c00f8e95c2
import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc
import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b
1c192c4ae277006835a462a694d8eb14
$fDefunc(,) ::
Language.Fixpoint.Defunctionalize.Defunc
(Language.Fixpoint.Types.Names.Symbol,
Language.Fixpoint.Types.Sorts.Sort)
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefunc(,)0 ::
Language.Fixpoint.Defunctionalize.Defunc
(Language.Fixpoint.Types.Names.Symbol,
Language.Fixpoint.Types.Refinements.SortedReft)
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncExpr ::
Language.Fixpoint.Defunctionalize.Defunc
Language.Fixpoint.Types.Refinements.Expr
DFunId
1c192c4ae277006835a462a694d8eb14
$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
1c192c4ae277006835a462a694d8eb14
$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
1c192c4ae277006835a462a694d8eb14
$fDefuncReft ::
Language.Fixpoint.Defunctionalize.Defunc
Language.Fixpoint.Types.Refinements.Reft
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncSEnv ::
Language.Fixpoint.Defunctionalize.Defunc a =>
Language.Fixpoint.Defunctionalize.Defunc
(Language.Fixpoint.Types.Environments.SEnv a)
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncSimpC ::
Language.Fixpoint.Defunctionalize.Defunc
(Language.Fixpoint.Types.Constraints.SimpC a)
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncSizedEnv ::
Language.Fixpoint.Defunctionalize.Defunc
Language.Fixpoint.Types.Environments.BindEnv
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncSort ::
Language.Fixpoint.Defunctionalize.Defunc
Language.Fixpoint.Types.Sorts.Sort
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncSortedReft ::
Language.Fixpoint.Defunctionalize.Defunc
Language.Fixpoint.Types.Refinements.SortedReft
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncTriggered ::
Language.Fixpoint.Defunctionalize.Defunc a =>
Language.Fixpoint.Defunctionalize.Defunc
(Language.Fixpoint.Types.Triggers.Triggered a)
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefuncWfC ::
Language.Fixpoint.Defunctionalize.Defunc
(Language.Fixpoint.Types.Constraints.WfC a)
DFunId
1c192c4ae277006835a462a694d8eb14
$fDefunc[] ::
Language.Fixpoint.Defunctionalize.Defunc a =>
Language.Fixpoint.Defunctionalize.Defunc [a]
DFunId
ba946c2b042ce91519506f96373a5e20
$tc'C:Defunc :: GHC.Types.TyCon
e22372a11232765ebf9214be885544fd
$tc'DFST :: GHC.Types.TyCon
5f2bab08d2f786853da3fa88bd51e582
$tcDFST :: GHC.Types.TyCon
69ba3a1a527f2ed6ae627047e0ec3b34
$tcDefunc :: GHC.Types.TyCon
242aba0a6adb27ec9c043230e385a3c5
$trModule :: GHC.Types.Module
d3dd44c5e2ae27f9a940e4c6a0f62ceb
type DF =
Control.Monad.Trans.State.Lazy.State
Language.Fixpoint.Defunctionalize.DFST
:: * -> *
c7363972b307b303d32d5b8361c4b693
data DFST
= DFST {dfFresh :: !GHC.Types.Int,
dfEnv :: !Language.Fixpoint.Types.Theories.SymEnv,
dfBEnv :: !Language.Fixpoint.Types.Environments.IBindEnv,
dfHO :: !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)}
1c192c4ae277006835a462a694d8eb14
class Defunc a where
defunc :: a -> Language.Fixpoint.Defunctionalize.DF a
{-# MINIMAL defunc #-}
66de87ab882b30b605fe1e924257c559
defuncAny ::
Language.Fixpoint.Defunctionalize.Defunc a =>
Language.Fixpoint.Types.Config.Config
-> Language.Fixpoint.Types.Theories.SymEnv -> a -> a
6f11f2226cee00ae34549605683847f2
defunctionalize ::
Language.Fixpoint.Types.PrettyPrint.Fixpoint a =>
Language.Fixpoint.Types.Config.Config
-> Language.Fixpoint.Types.Constraints.SInfo a
-> Language.Fixpoint.Types.Constraints.SInfo a
c7363972b307b303d32d5b8361c4b693
dfBEnv ::
Language.Fixpoint.Defunctionalize.DFST
-> Language.Fixpoint.Types.Environments.IBindEnv
RecSel Left Language.Fixpoint.Defunctionalize.DFST
c7363972b307b303d32d5b8361c4b693
dfBinds ::
Language.Fixpoint.Defunctionalize.DFST
-> Language.Fixpoint.Types.Environments.SEnv
Language.Fixpoint.Types.Sorts.Sort
RecSel Left Language.Fixpoint.Defunctionalize.DFST
c7363972b307b303d32d5b8361c4b693
dfEnv ::
Language.Fixpoint.Defunctionalize.DFST
-> Language.Fixpoint.Types.Theories.SymEnv
RecSel Left Language.Fixpoint.Defunctionalize.DFST
c7363972b307b303d32d5b8361c4b693
dfFresh :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Int
RecSel Left Language.Fixpoint.Defunctionalize.DFST
c7363972b307b303d32d5b8361c4b693
dfHO :: Language.Fixpoint.Defunctionalize.DFST -> GHC.Types.Bool
RecSel Left Language.Fixpoint.Defunctionalize.DFST
c7363972b307b303d32d5b8361c4b693
dfLams ::
Language.Fixpoint.Defunctionalize.DFST
-> [Language.Fixpoint.Types.Refinements.Expr]
RecSel Left Language.Fixpoint.Defunctionalize.DFST
c7363972b307b303d32d5b8361c4b693
dfRedex ::
Language.Fixpoint.Defunctionalize.DFST
-> [Language.Fixpoint.Types.Refinements.Expr]
RecSel Left Language.Fixpoint.Defunctionalize.DFST
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[]
trusted: none
require own pkg trusted: False
module header:
Nothing
declaration docs:
arg docs: