product type

the result of multiplying types in type theory

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

Categories:

algebraic data typetuple