Add to Chrome
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Why is the 'no confusion' property significant for inductive types like lists?
It automates the injection tactic.
It ensures that different constructors always produce distinct values.
It prevents the creation of infinite lists.
It allows lists of different types to be compared.
Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!