geometry :: ILine :: point_right
# Point at the right-end of the segment fun point_right: P is abstract
redef var point_right