Left bound

require: left <= right

Property definitions

geometry $ Boxed :: left
	# Left bound
	#
	# require: left <= right
	fun left: N is abstract
lib/geometry/boxes.nit:24,2--27,24

geometry $ Box :: left
	redef var left: N
lib/geometry/boxes.nit:97,2--18

geometry :: boxes $ IPoint :: left
	redef fun left do return x
lib/geometry/boxes.nit:288,2--27

geometry :: boxes $ ILine :: left
	redef fun left do return point_left.x
lib/geometry/boxes.nit:304,2--38