Module errors

Source

Structsยง

FieldCountMismatch ๐Ÿ”’
IncompatibleParamCount ๐Ÿ”’
IncompatibleRefinement ๐Ÿ”’