DefinitionMethods

Extension methods of Definition

Extensions

Extensions

extension (self: Definition)
def name: String

Name of the definition