@Override
		public Long max() {
			return lmax;
		}
A non-empty lifespan of snapshot keys

@param lmin the minimum snap
@param lmax the maximum snap
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/model/Lifespan.java