Module errors

Source

Structsยง

DuplicateParam ๐Ÿ”’
IllegalBinder ๐Ÿ”’
InvalidUnrefinedParam ๐Ÿ”’
UnresolvedSort ๐Ÿ”’
UnresolvedVar ๐Ÿ”’