indexing
	description: "General notion of contexts"
	author: "Patrick Schoenbach"

class interface
	CONTEXT

create 

	frozen make_empty
		ensure
			empty: empty

feature -- Status report

	empty: BOOLEAN
			-- Is context empty?
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class CONTEXT