geometry :: ILine :: P
# The type of points that ends the segment type P: IPoint[N]
redef type P: IPoint3d[N]