empty

Returns the shared AndSpec with no member specs, which is vacuously satisfied by every object.

Like every AndSpec, it is immutable, so it is a starting point for building a conjunction. As a member, it does not change which objects satisfy a conjunction.