In Parameter§

See primary documentation in context for method constraints

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