Module errors

Source

Structsยง

ImplAssocReftOnFinal
IncompatibleSort ๐Ÿ”’
InvalidAssocReft
MissingAssocReft