The shape a record type is built from: a record of property names to the
Type validating each one.
It is the bound of the shape argument of record / strictRecord, and
the type argument of the WithShape those return, so naming it is
what lets a caller write its own helper over a record type's shape.
The shape a record type is built from: a record of property names to the Type validating each one.
It is the bound of the
shapeargument ofrecord/strictRecord, and the type argument of the WithShape those return, so naming it is what lets a caller write its own helper over a record type's shape.