sun::type_inference

namespace · Source (opens in a new tab)

Implements type computations using only explicitly supplied facts.

Pure type computations; no semantic session is available here.