Module deduction

Source

Structsยง

Deduction