canonical constructor
A record's main constructor, taking every component in order.
The canonical constructor of a record has one parameter per component, in declaration order; it is generated unless declared explicitly or in compact form, and every other constructor must delegate to it.
See also