product type

the result of multiplying types in type theory

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

دسته بندی ها:

algebraic data typetuple