Property definitions

gtk $ GtkSpinButton :: val=
	fun val=(val: Float) `{
		gtk_spin_button_set_value(self, val);
	`}
lib/gtk/v3_4/gtk_widgets_ext.nit:198,2--200,3