Concept for line segments supported by a line that is a model of Kernel::Line_2 and whose endpoints are models of the CircularKernel::CircularArcPoint_2 concept.