Expand description
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§
- Missing
Special Type - Rule
- A single type rule.
Enums§
- Conclusion
- The result type of a
Rule.