Kernel::CompareX_2
CircularKernel::CompareY_2
CircularKernel::CompareXY_2
CircularKernel::Equal_2
A model of this concept must provide:
x
p
q