The terminating mechanism for a Validation construct.
The terminating mechanism for a Validation construct. The Function is used to capture logic for dealing with the successfully extracted parameter instances (much like the "yield" call in the cross-validating case