\mysee{constrs} & ::= & \mysee{typed} \\
& | & \mysee{typed}\ \mytermi{|}\ \mysee{constrs} \\
\multicolumn{3}{@{}l}{\text{Records, and their projections. The $\mysee{name}$ before the projections is the constructor name.}} \\
\mysee{constrs} & ::= & \mysee{typed} \\
& | & \mysee{typed}\ \mytermi{|}\ \mysee{constrs} \\
\multicolumn{3}{@{}l}{\text{Records, and their projections. The $\mysee{name}$ before the projections is the constructor name.}} \\