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 (in log form) 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 log constraint on an element.
The constraint (in log form) to be applied to the element.