In Parameter§

See primary documentation in context for method constraints.

Returns additional constraints on the parameter (usually as an all-Junction).