ExportMethods

Extension methods of Export

Extensions

Extensions

extension (self: Export)
def expr: Term

Qualifier of the export

List selectors of the export

See documentation on Selector