defDefinitionSymbol
Untyper
definition
Untyper