-- Abstract description of an access (argument or feature) in a
-- precondition or a postcondition. It is necessary the first call
-- in a nested expression.

class ACCESS_ASSERT_AS

inherit

	ACCESS_INV_AS

feature

end