Closed cgravill closed 3 years ago
Drop classproperty, just "declare" attributes in advance alternative from @acl33 https://github.com/microsoft/knossos-ksc/issues/888#issuecomment-869596450
Drop classproperty, just "declare" attributes in advance alternative from @acl33 https://github.com/microsoft/knossos-ksc/issues/888#issuecomment-869596450