note
	description: "Summary description for {X}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	X

feature -- Access


test(k: X): TUPLE[TUPLE[INTEGER, BOOLEAN, TUPLE[separate X]]] is
	do
	end


feature {NONE} -- Implementation

invariant
	invariant_clause: True -- Your invariant here

end