The type over which this evidence is defined.
The type over which this evidence is defined. Any element on which this evidence is asserted must also be over this type.
The constraint to be applied to the element.
Assert this evidence on the given element.
Assert this evidence on the given element. The second argument is an optional contingency.
Evidence representing a constraint on an element.
The constraint to be applied to the element.