Type returned by main

Property definitions

pthreads $ Thread :: E
	# Type returned by `main`
	type E : nullable Object
lib/pthreads/pthreads.nit:306,2--307,25

pthreads $ Threadedbaz :: E
	redef type E: Int
4,2--18