geometry :: Boxed :: left
require: left <= right
# Left bound # # require: left <= right fun left: N is abstract
redef var left: N
redef fun left do return x
redef fun left do return point_left.x