ModelExport
constructor(what: ModelExportSubject = ModelExportSubject.MODEL, format: ModelFormat = ModelFormat.HIGHWAY_JSON, modules: Set<String> = emptySet(), elements: Set<String> = emptySet(), viewpoints: Set<Viewpoint> = emptySet(), output: File)