product type

the result of multiplying types in type theory

en-US/ˈpɹɑdəkt ˈtaɪp/
en-GB/ˈpɹɒdʌkt ˈtaɪp/

Kategoriler:

algebraic data typetuple