--| Copyright (c) 2008, David Hollenberg, USC Information Sciences Institute
--| All rights reserved.

class TEST1 [G -> ANY create default_create end]

feature
	weasel: G
		require
			valid: create {like a} /= Void
		do
		end

	a: G

end