Top bound

require: top >= bottom

Property definitions

	# Top bound
	#
	# require: top >= bottom
	fun top: N is abstract

lib/geometry/boxes.nit:34,2--37,23

	redef var top: N

lib/geometry/boxes.nit:99,2--17

	redef fun top do return y

lib/geometry/boxes.nit:290,2--26

	redef fun top do return point_left.y.max(point_right.y)

lib/geometry/boxes.nit:306,2--56