init defaultinit

functional :: Proc1 :: defaultinit

Property definitions

functional $ Proc1 :: defaultinit 
interface Proc1[A0]
	super Proc
	fun call(a0: A0) is abstract
end
lib/functional/functional_types.nit:41,1--44,3
Nit standard library. Version v0.8-3595-g3f58b4f.