Module rule

Type rules.

An implementation of OverloadSet represents a set of type rules, each of which has a list of types for its arguments, and a conclusion about the type of the expression as a whole.

This module defines the Rule type, representing a type rule from an OverloadSet, and the Conclusion type, a specialized enum for representing a type rule’s conclusion.

Structs

• MissingSpecialType
• Rule
  A single type rule.

Enums

• Conclusion
  The result type of a Rule.