Property definitions

functional $ Fun2 :: defaultinit
interface Fun2[A0,A1,RESULT]
	super Fun
	fun call(a0: A0,a1: A1): RESULT is abstract
end
lib/functional/functional_types.nit:45,1--48,3