Right bound

require: right >= left

Property definitions

geometry $ Boxed :: right
	# Right bound
	#
	# require: right >= left
	fun right: N is abstract
lib/geometry/boxes.nit:29,2--32,25

geometry $ Box :: right
	redef var right: N
lib/geometry/boxes.nit:98,2--19

geometry :: boxes $ IPoint :: right
	redef fun right do return x
lib/geometry/boxes.nit:289,2--28

geometry :: boxes $ ILine :: right
	redef fun right do return point_right.x
lib/geometry/boxes.nit:305,2--40