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 predicate that must be satisfied by the element
Assert this evidence on the given element.
Evidence representing a condition on an element.
The predicate that must be satisfied by the element