let equal = Kernel_function.equal