Type Inference

Definition: Inferring the type of a language construct from available type information (when accurate type information may be unavailable)

Inference Rule:


Derived Type


SubType