@sharable
final
object
EmptyTermRefSet
extends
TermRefSet