felix
latest
Language Reference Manual
Overview
Lexical Structure
Macros
Directives
Type System
Core Algebras
Product Types
Product Specification
Tuples
Records
PolyRecords
Structures
Coproduct Types
Compact Linear Types
Pointer Types
Function Types
Subtyping
Definitions
Expression Syntax
Pattern Matching
Statements
Library Algebras
Data Types
Fibres
Pre-emptive Threads
Representations
felix
Docs
»
Core Algebras
»
Product Types
»
Product Specification
Edit on GitHub
Product Specification
ΒΆ
See also
Product_wiki
.