Dependent type - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for Dependent type.

Dependent type

From Wikipedia, the free encyclopedia

{{bottomLinkPreText}} {{bottomLinkText}}
Dependent type
Listen to this article