Def
LogicalSymbols
DefDef
LogicalTrees
DefaultPrefix
ToMname
XtensionDefaultPrefix
DenotLike
ToMattrs
Denotation
LogicalTrees
denot
AnonymousName
CtorName
IndeterminateName
Name
RichDenotationTree
TermName
TypeName
description
ConvertComponent
Plugin
ScalahostBCodePhase
dialect
Adapter
directBaseTypes
RichHelperType
displayName
RichNameTree
RichFoundationHelperName
RichFoundationSymbol
domain
Adapter