Module rule

Source
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§

MissingSpecialType
Rule
A single type rule.

Enums§

Conclusion
The result type of a Rule.