Module constructor 

Evaluate retained row positions against the current composite descriptor.

Functions

construct_with_control

Form a row using a resolved descriptor, after checking all surviving argument types and before evaluating any argument.

evaluate_with_control

retain_argument_types

Bind predecessor constructor metadata while its original descriptor is still current. Attribute removal cannot make a discarded argument run again.