Module errors 

Structs

AttrMapErr 🔒

AttrOnOpaque 🔒

DuplicatedAttr 🔒

InvalidAttr 🔒

MismatchedSpecName 🔒

MissingVariant 🔒

MultipleSpecifications 🔒

ReflectedEnumWithRefinedBy 🔒

SyntaxErr 🔒

UnresolvedSpecification 🔒