deferred class
	INTERVAL_SPAN

feature -- Access

	lower: INTERVAL_VAL_B is
			-- Lower bound of a span
		deferred
		end

end