core-common: redefine `Attribute` as a sealed trait#906

Merged

iRevive merged 1 commit intotypelevel:mainfrom iRevive:core-common/attribute-trait

Feb 4, 2025

+61-7

Commits on Jan 31, 2025

core-common: redefine Attribute as a sealed-trait
iRevive
committed