| $+$ | Embedder.Isabelle.Syntax |
| Abs | Embedder.Isabelle.Syntax |
| absVars | Embedder.Isabelle.Syntax |
| Add | Embedder.Builtins |
| addMainModuleHead | ReWire.HSE.Desugar, Embedder.HSE.Desugar |
| allExports | ReWire.HSE.Rename |
| And | Embedder.Builtins |
| andS | Embedder.Isabelle.Syntax |
| annotate | ReWire.HSE.Annotate |
| Annote | ReWire.HSE.Annotate |
| App | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| argIds | Embedder.Isabelle.Syntax |
| arr | Embedder.Atmo.Types |
| arrowLeft | Embedder.Atmo.Types |
| arrowRight | Embedder.Atmo.Types |
| atomic | Embedder.Isabelle.Syntax |
| BAnd | Embedder.Builtins |
| bar | Embedder.Isabelle.Syntax |
| BDefs | Embedder.Atmo.Syntax |
| Bind | Embedder.Builtins |
| BindI | Embedder.Builtins |
| BindR | Embedder.Builtins |
| BindRInf | Embedder.Builtins |
| BindS | Embedder.Builtins |
| Binds | Embedder.Atmo.Syntax |
| BitIndex | Embedder.Builtins |
| Bits | Embedder.Builtins |
| BitSlice | Embedder.Builtins |
| BOr | Embedder.Builtins |
| Builtin | Embedder.Builtins |
| builtin | Embedder.Atmo.Util |
| builtinName | Embedder.Builtins |
| builtins | Embedder.Builtins |
| builtinUserName | Embedder.Builtins |
| builtinUserQName | Embedder.Builtins |
| BXOr | Embedder.Builtins |
| Cache | ReWire.HSE.Cache |
| Case | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| caseSubst | Embedder.Isabelle.Syntax |
| Certify | Embedder.Config |
| certify | Embedder.Config |
| CertifyOff | Embedder.Config |
| CertifyRequired | Embedder.Config |
| CertifyWarn | Embedder.Config |
| clock | Embedder.Config |
| CompDol | Embedder.Builtins |
| CompDot | Embedder.Builtins |
| Con | Embedder.Atmo.Syntax |
| concrete | Embedder.Atmo.Types |
| Config | Embedder.Config |
| constructorArgs | Embedder.Isabelle.Syntax |
| constructorName | Embedder.Isabelle.Syntax |
| Cryptol | |
| 1 (Data Constructor) | Embedder.Config |
| 2 (Data Constructor) | Embedder.Builtins |
| ctorNames | Embedder.Atmo.Types |
| Ctors | ReWire.HSE.Rename |
| CtorSigs | ReWire.HSE.Rename |
| cycles | Embedder.Config |
| dataAnnote | Embedder.Atmo.Syntax |
| DataCon | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| DataConId | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| dataCons | Embedder.Atmo.Syntax |
| datacons | Embedder.Atmo.DependencyGraph |
| dataconsPat | Embedder.Atmo.DependencyGraph |
| dataconsPb | Embedder.Atmo.DependencyGraph |
| DataDefn | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| DataHeader | Embedder.Atmo.Syntax |
| dataName | Embedder.Atmo.Syntax |
| Datatype | Embedder.Isabelle.Syntax |
| DatatypeConstructor | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| datatypeConstructors | Embedder.Isabelle.Syntax |
| datatypeName | Embedder.Isabelle.Syntax |
| datatypeTVars | Embedder.Isabelle.Syntax |
| dataVars | Embedder.Atmo.Syntax |
| DCon | Embedder.Atmo.DependencyGraph |
| DDecl | Embedder.Atmo.DependencyGraph |
| DDef | Embedder.Atmo.DependencyGraph |
| debugLint | Embedder.Config |
| Decl | Embedder.Isabelle.Syntax |
| Declaration | Embedder.Atmo.DependencyGraph |
| decls | Embedder.Isabelle.Syntax |
| Def | |
| 1 (Type/Class) | Embedder.Atmo.DependencyGraph |
| 2 (Data Constructor) | Embedder.Atmo.DependencyGraph |
| def2Decl | Embedder.Atmo.DependencyGraph |
| defaultInputsFile | Embedder.Config |
| Definition | Embedder.Isabelle.Syntax |
| definitionName | Embedder.Isabelle.Syntax |
| definitionTerm | Embedder.Isabelle.Syntax |
| definitionType | Embedder.Isabelle.Syntax |
| definitionVars | Embedder.Isabelle.Syntax |
| Defn | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| defnAnnote | Embedder.Atmo.Syntax |
| DefnAttr | Embedder.Atmo.Syntax |
| defnAttr | Embedder.Atmo.Syntax |
| defnBinds | Embedder.Atmo.Syntax |
| defnName | Embedder.Atmo.Syntax |
| defnPolyTy | Embedder.Atmo.Syntax |
| deparenify | ReWire.HSE.Desugar |
| depatLambdas | ReWire.HSE.Desugar |
| depth | Embedder.Config |
| Desugar | |
| 1 (Type/Class) | ReWire.HSE.Desugar |
| 2 (Data Constructor) | ReWire.HSE.Desugar |
| desugar | |
| 1 (Function) | ReWire.HSE.Desugar |
| 2 (Function) | Embedder.HSE.Desugar |
| desugarAsPats | ReWire.HSE.Desugar |
| desugarDos | ReWire.HSE.Desugar |
| desugarFuns | ReWire.HSE.Desugar |
| desugarGuards | ReWire.HSE.Desugar |
| desugarIfs | ReWire.HSE.Desugar |
| desugarInfix | ReWire.HSE.Desugar |
| desugarLets | ReWire.HSE.Desugar |
| desugarNegLitPats | ReWire.HSE.Desugar |
| desugarNegs | ReWire.HSE.Desugar |
| desugarRecords | ReWire.HSE.Desugar |
| desugarTuples | ReWire.HSE.Desugar |
| desugarTyFuns | ReWire.HSE.Desugar |
| deuniquifyLocalOps | ReWire.HSE.Fixity |
| Disp | Embedder.Isabelle.Syntax |
| Div | Embedder.Builtins |
| dsAlt | ReWire.HSE.Desugar |
| dsBinds | ReWire.HSE.Desugar |
| dsConDecl | ReWire.HSE.Desugar |
| dsDecl | ReWire.HSE.Desugar |
| dsDeclHead | ReWire.HSE.Desugar |
| dsExp | ReWire.HSE.Desugar |
| dsMatch | ReWire.HSE.Desugar |
| dsModule | ReWire.HSE.Desugar |
| dsPat | ReWire.HSE.Desugar |
| dsQName | ReWire.HSE.Desugar |
| dstArrow | Embedder.Atmo.Types |
| dstNegTy | Embedder.Atmo.Types |
| dstPlusTy | Embedder.Atmo.Types |
| dstPoly1 | Embedder.Atmo.Types |
| dstReacT | Embedder.Atmo.Types |
| dstStateT | Embedder.Atmo.Types |
| dstTyApp | Embedder.Atmo.Types |
| dsType | ReWire.HSE.Desugar |
| DTyp | Embedder.Isabelle.Syntax |
| dump | Embedder.Config |
| eidos | Embedder.Config |
| eidosFile | Embedder.Config |
| elseId | Embedder.Isabelle.Syntax |
| embedFile | Embedder.FrontEnd |
| embedFreeProgram | Embedder.Atmo.ToIsabelle |
| embedModule | Embedder.Atmo.ToIsabelle |
| Eq | Embedder.Builtins |
| err | ReWire.HSE.Desugar |
| Error | Embedder.Builtins |
| evalNat | Embedder.Atmo.Types |
| exclude | ReWire.HSE.Rename |
| Exp | Embedder.Atmo.Syntax |
| expCtorSigs | ReWire.HSE.Rename |
| expFixity | ReWire.HSE.Rename |
| Export | |
| 1 (Type/Class) | ReWire.HSE.Exports |
| 2 (Data Constructor) | ReWire.HSE.Exports |
| ExportAll | ReWire.HSE.Exports |
| exportAll | ReWire.HSE.Exports |
| ExportFixity | ReWire.HSE.Exports |
| ExportMod | ReWire.HSE.Exports |
| Exports | ReWire.HSE.Rename |
| ExportWith | ReWire.HSE.Exports |
| expType | ReWire.HSE.Rename |
| expValue | ReWire.HSE.Rename |
| extend | ReWire.HSE.Rename |
| extendWithGlobs | ReWire.HSE.Globs |
| Extern | Embedder.Builtins |
| Extrude | Embedder.Builtins |
| FDecl | Embedder.Atmo.DependencyGraph |
| FieldId | Embedder.Atmo.Syntax, Embedder.Atmo.Util |
| filterName | Embedder.Atmo.ToIsabelle |
| FinAdd | Embedder.Builtins |
| findCtorSigFromField | ReWire.HSE.Rename |
| FinDiv | Embedder.Builtins |
| FinEq | Embedder.Builtins |
| finger | ReWire.HSE.Rename |
| Finite | Embedder.Builtins |
| FiniteMaxBound | Embedder.Builtins |
| FiniteMinBound | Embedder.Builtins |
| finiteTy | Embedder.Atmo.Types |
| FinLt | Embedder.Builtins |
| finMax | Embedder.Atmo.Types |
| FinMul | Embedder.Builtins |
| FinSub | Embedder.Builtins |
| firstTerm | Embedder.Isabelle.Syntax |
| fixFixity | ReWire.HSE.Rename |
| fixLocalOps | ReWire.HSE.Fixity |
| Flatten | Embedder.Config |
| flatten | Embedder.Config |
| flattenAlts | ReWire.HSE.Desugar |
| flattenCase | Embedder.Atmo.ToIsabelle |
| flattenLam | Embedder.Atmo.Util |
| flattenLambdas | ReWire.HSE.Desugar |
| flattenSig | Embedder.Atmo.Types |
| flattenTuple | Embedder.Atmo.Util |
| flattenTy | Embedder.Atmo.ToIsabelle |
| flattenTyTuple | Embedder.Atmo.ToIsabelle |
| FQCtors | ReWire.HSE.Rename |
| FQCtorSigs | ReWire.HSE.Rename |
| FQName | ReWire.HSE.Rename |
| Free | Embedder.Isabelle.Syntax |
| FreeProgram | Embedder.Atmo.Syntax |
| Fresh | ReWire.HSE.Desugar |
| fresh | ReWire.HSE.Desugar |
| FromFinite | Embedder.Builtins |
| fromImps | ReWire.HSE.Rename |
| Fun | Embedder.Isabelle.Syntax |
| FunBinding | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| fundamental | Embedder.Atmo.Types |
| funEquations | Embedder.Isabelle.Syntax |
| funId | Embedder.Isabelle.Syntax |
| fve | Embedder.Atmo.DependencyGraph |
| fvePat | Embedder.Atmo.DependencyGraph |
| fvePb | Embedder.Atmo.DependencyGraph |
| fvt | Embedder.Atmo.DependencyGraph |
| Get | Embedder.Builtins |
| getAtmoFile | Embedder.Config |
| getBaseName | Embedder.Atmo.ToIsabelle |
| getCtors | ReWire.HSE.Rename |
| getEmbedFile | Embedder.Config |
| getExportFixities | ReWire.HSE.Exports |
| getExports | ReWire.HSE.Rename |
| getFixities | ReWire.HSE.Fixity |
| getImps | ReWire.HSE.Globs |
| getInlines | ReWire.HSE.Exports |
| getLocalCtorSigs | ReWire.HSE.Rename |
| getLocalTypes | ReWire.HSE.Rename |
| getModule | Embedder.ModCache |
| getModuleWith | ReWire.HSE.Cache |
| getNodeData | Embedder.Atmo.DependencyGraph |
| getNodeDefn | Embedder.Atmo.DependencyGraph |
| getNodeRec | Embedder.Atmo.DependencyGraph |
| getNodeTSyns | Embedder.Atmo.DependencyGraph |
| getOutFile | Embedder.Config |
| getPatVars | Embedder.Atmo.Syntax |
| getStates | Embedder.Atmo.FlattenMonadTrans |
| getTypeExports | ReWire.HSE.Exports |
| Gt | Embedder.Builtins |
| GtEq | Embedder.Builtins |
| Haskell | Embedder.Config |
| Hide | Embedder.Isabelle.Syntax |
| higherOrder | Embedder.Atmo.Types |
| If | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| ifId | Embedder.Isabelle.Syntax |
| imports | Embedder.Isabelle.Syntax |
| infixBuiltinList | Embedder.Isabelle.Syntax |
| infixRWUserOpList | Embedder.Isabelle.Syntax |
| inId | Embedder.Isabelle.Syntax |
| Inline | Embedder.Atmo.Syntax |
| inlineable | Embedder.Atmo.Util |
| inputsFile | Embedder.Config |
| inputSigs | Embedder.Config |
| Interpret | Embedder.Config |
| interpret | Embedder.Config |
| intTy | Embedder.Atmo.Types |
| Inverted | Embedder.Config |
| IsaEq | Embedder.Isabelle.Syntax |
| isInfix | Embedder.Isabelle.Syntax |
| isPrefix | Embedder.Isabelle.Syntax |
| isPrim | Embedder.Atmo.Util |
| isReacT | Embedder.Atmo.Types |
| isReWire | Embedder.Atmo.ToIsabelle |
| isStateT | Embedder.Atmo.Types |
| isTuple | Embedder.Isabelle.Syntax |
| isTupleCtor | Embedder.Atmo.Util |
| Lam | Embedder.Atmo.Syntax |
| lambdasToCases | ReWire.HSE.Desugar |
| LAnd | Embedder.Builtins |
| Language | Embedder.Config |
| Let | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| letSubst | Embedder.Isabelle.Syntax |
| Lift | Embedder.Builtins |
| liftDiscriminator | ReWire.HSE.Desugar |
| LiftR | Embedder.Builtins |
| LiftS | Embedder.Builtins |
| List | Embedder.Isabelle.Syntax |
| listTy | Embedder.Atmo.Types |
| LitInt | Embedder.Atmo.Syntax |
| LitList | Embedder.Atmo.Syntax |
| LitNum | Embedder.Isabelle.Syntax |
| LitStr | Embedder.Atmo.Syntax |
| LitString | Embedder.Isabelle.Syntax |
| LitVec | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| LitWord | Embedder.Isabelle.Syntax |
| LNot | Embedder.Builtins |
| LoadPath | ReWire.HSE.Cache, Embedder.ModCache, Embedder.FrontEnd |
| loadPath | Embedder.Config |
| locators | Embedder.Config |
| lookupCtors | ReWire.HSE.Rename |
| lookupCtorSig | ReWire.HSE.Rename |
| lookupCtorSigsForType | ReWire.HSE.Rename |
| LOr | Embedder.Builtins |
| LShift | Embedder.Builtins |
| Lt | Embedder.Builtins |
| LtEq | Embedder.Builtins |
| minusP1 | Embedder.Atmo.Types |
| mkApp | Embedder.Atmo.Util |
| mkArrowTy | Embedder.Atmo.Types |
| mkError | Embedder.Atmo.Util |
| mkFooter | Embedder.Isabelle.Syntax |
| mkHeader | Embedder.Isabelle.Syntax |
| mkLam | Embedder.Atmo.Util |
| mkPair | Embedder.Atmo.Util |
| mkPairPat | Embedder.Atmo.Util |
| mkPatRec | Embedder.Atmo.Util |
| mkRDecl | Embedder.Atmo.DependencyGraph |
| mkRecSel | Embedder.Atmo.Util |
| mkRecUpd | Embedder.Atmo.Util |
| mkRecVal | Embedder.Atmo.Util |
| mkState | Embedder.Atmo.FlattenMonadTrans |
| mkTuple | |
| 1 (Function) | Embedder.Atmo.Util |
| 2 (Function) | ReWire.HSE.Desugar |
| mkTupleCtor | Embedder.Atmo.Util |
| mkTuplePat | Embedder.Atmo.Util |
| mkTyApp | Embedder.Atmo.Types |
| Mod | Embedder.Builtins |
| mod | ReWire.HSE.Rename |
| Module | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| MSBit | Embedder.Builtins |
| Mul | Embedder.Builtins |
| mustInline | Embedder.Atmo.Util |
| name | ReWire.HSE.Rename |
| Namespace | ReWire.HSE.Rename |
| NatVal | Embedder.Builtins |
| negTy | Embedder.Atmo.Types |
| NEq | Embedder.Builtins |
| nil | Embedder.Atmo.Util |
| nilTy | Embedder.Atmo.Types |
| noHalt | Embedder.Config |
| NoInline | Embedder.Atmo.Syntax |
| noLocators | Embedder.Config |
| normIds | ReWire.HSE.Desugar |
| normTyContext | ReWire.HSE.Desugar |
| Not | Embedder.Builtins |
| noWarn | Embedder.Config |
| Or | Embedder.Builtins |
| outFile | Embedder.Config |
| OutFlag | Embedder.Config |
| outFlags | Embedder.Config |
| outputSigs | Embedder.Config |
| pairTy | Embedder.Atmo.Types |
| paramTys | Embedder.Atmo.Types, Embedder.Atmo.Util |
| pArg | Embedder.Isabelle.Syntax |
| pass | ReWire.HSE.Desugar |
| Pat | Embedder.Atmo.Syntax |
| PatAs | Embedder.Atmo.Syntax |
| PatBind | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| PatCon | Embedder.Atmo.Syntax |
| PatRec | Embedder.Atmo.Syntax |
| PatTuple | Embedder.Atmo.Syntax |
| PatVar | Embedder.Atmo.Syntax |
| PatWildCard | Embedder.Atmo.Syntax |
| pbTycons | Embedder.Atmo.DependencyGraph |
| pDebug | Embedder.Config |
| pickVar | Embedder.Atmo.Types |
| plusTy | Embedder.Atmo.Types |
| Poly | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| poly | Embedder.Atmo.Types |
| poly' | Embedder.Atmo.Types |
| Poly1 | Embedder.Atmo.Types |
| poly1Ty | Embedder.Atmo.Types |
| pOp | Embedder.Isabelle.Syntax |
| Pow | Embedder.Builtins |
| prefixBuiltinList | Embedder.Isabelle.Syntax |
| prefixRWUserOpList | Embedder.Isabelle.Syntax |
| Pretty | Embedder.Config |
| pretty | Embedder.Config |
| prettyFP | Embedder.Atmo.Syntax |
| prettyTerm | Embedder.Isabelle.Syntax |
| Prim | Embedder.Isabelle.Syntax |
| primId | Embedder.Isabelle.Syntax |
| printApp | Embedder.Isabelle.Syntax |
| printApp' | Embedder.Isabelle.Syntax |
| printCon | Embedder.Isabelle.Syntax |
| printDatatypeConstructor | Embedder.Isabelle.Syntax |
| printDecls | Embedder.Isabelle.Syntax |
| printInfoHSE | ReWire.HSE.PassInfo |
| printInfoTop | ReWire.HSE.PassInfo |
| printTBuiltin | Embedder.Isabelle.Syntax |
| printTuple | Embedder.Isabelle.Syntax |
| printType | Embedder.Isabelle.Syntax |
| printType' | Embedder.Isabelle.Syntax |
| printTypSig | Embedder.Isabelle.Syntax |
| printTyTuple | Embedder.Isabelle.Syntax |
| Program | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| proxy | Embedder.Atmo.Util |
| proxyNat | Embedder.Atmo.Types |
| proxyTy | Embedder.Atmo.Types |
| Pttrn | Embedder.Isabelle.Syntax |
| PttrnAs | Embedder.Isabelle.Syntax |
| PttrnCon | Embedder.Isabelle.Syntax |
| PttrnRecord | Embedder.Isabelle.Syntax |
| PttrnTuple | Embedder.Isabelle.Syntax |
| PttrnVar | Embedder.Isabelle.Syntax |
| PttrnWildCard | Embedder.Isabelle.Syntax |
| pTyArg | Embedder.Isabelle.Syntax |
| Put | Embedder.Builtins |
| qn2rwu | Embedder.Builtins |
| QName | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| qname | Embedder.Isabelle.Syntax |
| QNamish | ReWire.HSE.Rename |
| qnamish | ReWire.HSE.Rename |
| qualifiers | Embedder.Isabelle.Syntax |
| RAnd | Embedder.Builtins |
| rangeTy | Embedder.Atmo.Types |
| RBindI | Embedder.Builtins |
| RBindR | Embedder.Builtins |
| RBindRInf | Embedder.Builtins |
| RBindS | Embedder.Builtins |
| RDecl | Embedder.Atmo.DependencyGraph |
| RDef | Embedder.Atmo.DependencyGraph |
| recAnnote | Embedder.Atmo.Syntax |
| RecDecl | Embedder.Atmo.DependencyGraph |
| RecDefn | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| recFields | Embedder.Atmo.Syntax |
| RecHeader | Embedder.Atmo.Syntax |
| recName | Embedder.Atmo.Syntax |
| Record | Embedder.Isabelle.Syntax |
| recordFields | Embedder.Isabelle.Syntax |
| recordName | Embedder.Isabelle.Syntax |
| RecordSel | Embedder.Isabelle.Syntax |
| recordTVars | Embedder.Isabelle.Syntax |
| RecordUpdate | Embedder.Isabelle.Syntax |
| RecordVal | Embedder.Isabelle.Syntax |
| recPoly | Embedder.Atmo.Syntax |
| RecSel | Embedder.Atmo.Syntax |
| RecUpd | Embedder.Atmo.Syntax |
| RecVal | Embedder.Atmo.Syntax |
| recVars | Embedder.Atmo.Syntax |
| refTy | Embedder.Atmo.Types |
| rename | ReWire.HSE.Rename |
| Renamer | ReWire.HSE.Rename |
| reset | Embedder.Config |
| ResetFlag | Embedder.Config |
| resetFlags | Embedder.Config |
| resInputTy | Embedder.Atmo.Types |
| Resize | Embedder.Builtins |
| resolveExports | ReWire.HSE.Exports |
| Return | Embedder.Builtins |
| ReturnI | Embedder.Builtins |
| ReturnR | Embedder.Builtins |
| ReturnS | Embedder.Builtins |
| rewireUserMods | Embedder.Atmo.ToIsabelle |
| RNAnd | Embedder.Builtins |
| RNor | Embedder.Builtins |
| ROr | Embedder.Builtins |
| RShift | Embedder.Builtins |
| RShiftArith | Embedder.Builtins |
| rtlOpt | Embedder.Config |
| runCache | |
| 1 (Function) | ReWire.HSE.Cache |
| 2 (Function) | Embedder.ModCache |
| RWBuiltin | Embedder.Builtins |
| RWCore | Embedder.Config |
| rwOpText | Embedder.Isabelle.Syntax |
| rwu2qn | Embedder.Builtins |
| rwu2s | Embedder.Builtins |
| RWUser | Embedder.Atmo.Syntax |
| RWUserOp | Embedder.Builtins |
| RXNor | Embedder.Builtins |
| RXOr | Embedder.Builtins |
| s2rwu | Embedder.Builtins |
| s2tb | Embedder.Builtins |
| sDeclHead | ReWire.HSE.Exports |
| secondTerm | Embedder.Isabelle.Syntax |
| selfGroup | Embedder.Isabelle.Syntax |
| Seq | Embedder.Builtins |
| SeqI | Embedder.Builtins |
| SeqR | Embedder.Builtins |
| SeqRInf | Embedder.Builtins |
| SeqS | Embedder.Builtins |
| setCtors | ReWire.HSE.Rename |
| setTyAnn | Embedder.Atmo.Types |
| sig | Embedder.Atmo.Types |
| Signal | Embedder.Builtins |
| sortFreeProgram | Embedder.Atmo.DependencyGraph |
| source | Embedder.Config |
| stableNames | Embedder.Config |
| start | Embedder.Config |
| stateSigs | Embedder.Config |
| strTy | Embedder.Atmo.Types |
| Sub | Embedder.Builtins |
| Synchronous | Embedder.Config |
| synolon | Embedder.Config |
| synolonFile | Embedder.Config |
| target | Embedder.Config |
| tb2s | Embedder.Builtins |
| TBuiltin | Embedder.Isabelle.Syntax |
| tCase | Embedder.Atmo.ToIsabelle |
| tDataCon | Embedder.Atmo.ToIsabelle |
| tDataDefn | Embedder.Atmo.ToIsabelle |
| TDecl | Embedder.Atmo.DependencyGraph |
| tDeclaration | Embedder.Atmo.ToIsabelle |
| TDef | Embedder.Atmo.DependencyGraph |
| tDefn | Embedder.Atmo.ToIsabelle |
| Term | Embedder.Isabelle.Syntax |
| termId | Embedder.Isabelle.Syntax |
| termName | Embedder.Isabelle.Syntax |
| testbench | Embedder.Config |
| tExp | Embedder.Atmo.ToIsabelle |
| textListRWOp | Embedder.Isabelle.Syntax |
| textS | Embedder.Isabelle.Syntax |
| tFreeProgram | Embedder.Atmo.ToIsabelle |
| tFun | Embedder.Atmo.ToIsabelle |
| tFunBinding | Embedder.Atmo.ToIsabelle |
| tGlobal | Embedder.Atmo.ToIsabelle |
| thenId | Embedder.Isabelle.Syntax |
| Theory | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| thyName | Embedder.Isabelle.Syntax |
| tLocal | Embedder.Atmo.ToIsabelle |
| tModule | Embedder.Atmo.ToIsabelle |
| TName | Embedder.Isabelle.Syntax |
| TNum | Embedder.Isabelle.Syntax |
| toAtmo | Embedder.HSE.ToAtmo |
| toFilePath | ReWire.HSE.Rename |
| ToFinite | Embedder.Builtins |
| ToFiniteMod | Embedder.Builtins |
| top | Embedder.Config |
| tPat | Embedder.Atmo.ToIsabelle |
| tPatBind | Embedder.Atmo.ToIsabelle |
| tPoly | Embedder.Atmo.ToIsabelle |
| tPolySig | Embedder.Atmo.ToIsabelle |
| transExport | ReWire.HSE.Exports |
| transMonadT | Embedder.Atmo.FlattenMonadTrans |
| tRDefns | Embedder.Atmo.ToIsabelle |
| tRecDefn | Embedder.Atmo.ToIsabelle |
| tryParseInDir | ReWire.HSE.Parse |
| tType | Embedder.Atmo.ToIsabelle |
| tTypeSig | Embedder.Atmo.ToIsabelle |
| tTypeSynonym | Embedder.Atmo.ToIsabelle |
| Tuple | Embedder.Atmo.Syntax |
| tupleTy | Embedder.Atmo.Types |
| Tuplex | Embedder.Isabelle.Syntax |
| TVar | Embedder.Isabelle.Syntax |
| Ty | Embedder.Atmo.Syntax |
| tyAnn | |
| 1 (Function) | Embedder.Isabelle.Syntax |
| 2 (Function) | Embedder.Atmo.Types |
| TyApp | Embedder.Atmo.Syntax |
| tyAtomic | Embedder.Isabelle.Syntax |
| TyBool | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyBuiltin | |
| 1 (Type/Class) | Embedder.Builtins, Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| tybuiltin | Embedder.Atmo.Util |
| tybuiltins | Embedder.Builtins |
| TyCon | Embedder.Atmo.Syntax |
| TyConId | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| tycons | Embedder.Atmo.DependencyGraph |
| TyDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyFin | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyFun | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyIdentity | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyInteger | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyList | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyNat | Embedder.Atmo.Syntax |
| TyNeg | Embedder.Builtins, Embedder.Atmo.Syntax |
| Typ | Embedder.Isabelle.Syntax |
| typ | Embedder.Isabelle.Syntax |
| typAnn | Embedder.Isabelle.Syntax |
| TypAnnTerm | Embedder.Isabelle.Syntax |
| Type | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | ReWire.HSE.Rename |
| TypeAnnotated | Embedder.Atmo.Types |
| typeArgs | Embedder.Isabelle.Syntax |
| typeB | Embedder.Isabelle.Syntax |
| typeId | Embedder.Isabelle.Syntax |
| typeN | Embedder.Isabelle.Syntax |
| typeOf | Embedder.Atmo.Types |
| typeSigCod | Embedder.Isabelle.Syntax |
| typeSynAnnote | Embedder.Atmo.Syntax |
| typeSynName | Embedder.Atmo.Syntax |
| TypeSynonym | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Type/Class) | Embedder.Atmo.Syntax |
| 3 (Data Constructor) | Embedder.Atmo.Syntax |
| typeSynType | Embedder.Atmo.Syntax |
| TyPlus | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyProd | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyProxy | Embedder.Builtins, Embedder.Atmo.Syntax |
| TypSig | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| typSigArgs | Embedder.Isabelle.Syntax |
| TyRe | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyReacT | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyRef | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyS | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyState | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyStateDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyStateT | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyString | Embedder.Builtins, Embedder.Atmo.Syntax |
| tysynNames | ReWire.HSE.Exports |
| TyTuple | Embedder.Atmo.Syntax |
| TyUnit | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyVar | Embedder.Atmo.Syntax |
| TyVec | Embedder.Builtins, Embedder.Atmo.Syntax |
| unqualify | Embedder.Atmo.DependencyGraph |
| unqualifyNode | Embedder.Atmo.DependencyGraph |
| untype | Embedder.Atmo.Syntax |
| Update | Embedder.Builtins |
| userBuiltin | Embedder.Atmo.Util |
| Value | ReWire.HSE.Rename |
| Var | Embedder.Atmo.Syntax |
| VecConcat | Embedder.Builtins |
| vecElemTy | Embedder.Atmo.Types |
| VecFromList | Embedder.Builtins |
| VecGenerate | Embedder.Builtins |
| VecIndex | Embedder.Builtins |
| VecIndexProxy | Embedder.Builtins |
| VecLastIndexProxy | Embedder.Builtins |
| VecMap | Embedder.Builtins |
| VecReplicate | Embedder.Builtins |
| VecReverse | Embedder.Builtins |
| VecRSlice | Embedder.Builtins |
| vecSize | Embedder.Atmo.Types |
| VecSlice | Embedder.Builtins |
| vecTy | Embedder.Atmo.Types |
| Verbose | Embedder.Config |
| verbose | Embedder.Config |
| Verilog | Embedder.Config |
| VHDL | Embedder.Config |
| vhdlPackages | Embedder.Config |
| VName | Embedder.Isabelle.Syntax |
| wError | Embedder.Config |
| wheresToLets | ReWire.HSE.Desugar |
| WordIndex | Embedder.Builtins |
| WordIndexFin | Embedder.Builtins |
| WordIndexProxy | Embedder.Builtins |
| WordSlice | Embedder.Builtins |
| XNor | Embedder.Builtins |
| XOr | Embedder.Builtins |
| zeroP1 | Embedder.Atmo.Types |
| |-> | Embedder.Atmo.Types |