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