Property definitions

geometry $ IPoint :: dist2_with_2d
	private fun dist2_with_2d(other: IPoint[Numeric]): Numeric
	do return dist2_xy(other)
lib/geometry/points_and_lines.nit:80,2--81,26

geometry $ IPoint3d :: dist2_with_2d
	redef fun dist2_with_2d(other)
	do return dist2_xy(other).add(z.mul(z))
lib/geometry/points_and_lines.nit:136,2--137,40