Module errors

Source

Structsยง

IncompatibleSort ๐Ÿ”’
InvalidAssocReft
MissingAssocReft