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.
Assert this evidence on the given element.
Assert this evidence on the given element. The second argument is an optional contingency.
The observed value of the element.
Evidence representing observing a particular value for the element.
The observed value of the element.