Property definitions

core $ RefIterator :: is_ok=
	redef var is_ok = true
lib/core/collection/abstract_collection.nit:390,2--23