rewire-embedder-2.8: A ReWire-to-Isabelle embedder

Index - G

GetEmbedder.Builtins
getAtmoFileEmbedder.Config
getBaseNameEmbedder.Atmo.ToIsabelle
getCtorsReWire.HSE.Rename
getEmbedFileEmbedder.Config
getExportFixitiesReWire.HSE.Exports
getExportsReWire.HSE.Rename
getFixitiesReWire.HSE.Fixity
getImpsReWire.HSE.Globs
getInlinesReWire.HSE.Exports
getLocalCtorSigsReWire.HSE.Rename
getLocalTypesReWire.HSE.Rename
getModuleEmbedder.ModCache
getModuleWithReWire.HSE.Cache
getNodeDataEmbedder.Atmo.DependencyGraph
getNodeDefnEmbedder.Atmo.DependencyGraph
getNodeRecEmbedder.Atmo.DependencyGraph
getNodeTSynsEmbedder.Atmo.DependencyGraph
getOutFileEmbedder.Config
getPatVarsEmbedder.Atmo.Syntax
getStatesEmbedder.Atmo.FlattenMonadTrans
getTypeExportsReWire.HSE.Exports
GtEmbedder.Builtins
GtEqEmbedder.Builtins