When to Analyze Structure or Logic

You can choose to analyze the structure or the logic of your type definitions, or both.