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