Property definitions

actors $ Worker :: put_line
	fun put_line(y: Int, line: Array[Int]) do
		for i in [0..line.length[ do line[i] = get_byte(i * 8, y)
	end
lib/actors/examples/mandelbrot/mandelbrot.nit:57,2--59,4