Bottom bound

require: bottom <= top

Property definitions

geometry $ Boxed :: bottom
	# Bottom bound
	#
	# require: bottom <= top
	fun bottom: N is abstract
lib/geometry/boxes.nit:39,2--42,26

geometry $ Box :: bottom
	redef var bottom: N
lib/geometry/boxes.nit:100,2--20

geometry :: boxes $ IPoint :: bottom
	redef fun bottom do return y
lib/geometry/boxes.nit:291,2--29

geometry :: boxes $ ILine :: bottom
	redef fun bottom do return point_left.y.min(point_right.y)
lib/geometry/boxes.nit:307,2--59