Property definitions

functional $ Fun0 :: call
	fun call: RESULT is abstract
lib/functional/functional_types.nit:31,2--29

functional $ FunRef0 :: call
	redef fun call: RESULT is intern
lib/functional/functional_types.nit:191,2--33

functional $ InitArrayFn :: call
        redef fun call
        do
                var xs = new Array[E]
                if initial_val != null then
                        xs.push(initial_val)
                end
                return xs
        end
lib/functional/test_utils.nit:46,9--53,11