@Override
		public String toString() {
			return toString(domain::toString);
		}
Create a span set on the given domain

<p>
Extensions should invoke this as a super constructor with a fixed domain. See
{@link DefaultULongSpanSet} for an example.

@param domain the domain
Ghidra/Framework/Emulation/src/main/java/generic/Span.java