kind

type of types in a type system

en-GB/ˈkaɪnd/
en-US/ˈkaɪnd/

Категорії:

type