úÎ+r((      !"#$%&'NoneA binding. Similar to the (` datatype from GHC. Can be either a single non-recursive binding or a mutually recursive block. XA general computation. A command brings together a list of bindings, some value, and a  continuationK saying what to do with that value. The value and continuation comprise a cut in the sequent calculus. &Bindings surrounding the computation.(The value provided to the continuation.What to do with the value.'A continuation, expressed as a list of +s. In terms of the sequent calculus, here nils stands for a free covariable; since Haskell does not allow for control effects, we only allow for one covariable.ÿA stack frame. A continuation is simply a list of these. Each represents the outer part of a Haskell expression, with a "hole" where a value can be placed. Computation in the sequent calculus is expressed as the interation of a value with a continuation.3Annotate the enclosed frame. Used by the profiler.&Cast the value using the given proof.$Perform case analysis on the value.=Apply the value to an argument, which may be a computation.lAn atomic value. These include literals, lambdas, and variables, as well as types and coercions (see GHC's ) for the reasoning). A variable.*A coercion. Used to pass evidence to the cast operation.CA type. Used to pass a type as an argument to a type-level lambda.3A function. The body is a computation, that is, a  .A primitive literal value.& * !"#$%  !"#$%   !"#$  * !"#$None%=Print the given bindings as a sequence of top-level bindings.+%,-./0123456789:;<=>%%+%,-./0123456789:;<=>None&·Given a function that processes a module's bindings as Sequent Core terms, perform the same processing as a Core-to-Core pass usable from a GHC plugin. Intended to be passed to the CoreDoPluginPass' constructor as part of your plugin's installCoreToDos function. See Language.SequentCore.Dump5 for an example and the GHC manual for more details.&~A processing function. May assume that there are no shadowed identifiers in the given binders (this is ensured by a call to ?).&&&None'AThe plugin. A GHC plugin is a module that exports a value called plugin with the type @.'AB'''ABNone'  !"#$%&C       !"#$%&'()*+,- ,-./0123456789:;<=>?@ABC,DE,FGHIJsequent-core-0.1.0.0Language.SequentCore.SyntaxLanguage.SequentCore.PrettyLanguage.SequentCore.PluginLanguage.SequentCore.DumpLanguage.SequentCore SeqCoreAlt SeqCoreBindSeqCoreCommand SeqCoreCont SeqCoreFrame SeqCoreValueAltBindRecNonRecCommandcmdLetcmdValuecmdContContFrameTickCastCaseAppValueVarCoercionTypeLamLit fromCoreExpr fromCoreBind fromCoreBindscommandToCoreExprvalueToCoreExprframeToCoreExpr toCoreBind toCoreBinds toCoreAlt ppr_binds_top sequentPassplugin ghc-7.8.3CoreSynExpr fromCoreAltppr_bind ppr_block ppr_bindsppr_binds_with ppr_bindingppr_comm ppr_valuecollectBinders ppr_frame pprCoreAlt ppr_case_pat pprParendComm pprCoreCommpprParendValue pprCoreValuenoParens$fOutputableFrame$fOutputableCommand$fOutputableValue$fOutputableBind CoreSubst deShadowBinds CoreMonadPlugininstallshowSequentCore