let
equal t1 t2 =
Kernel_function
.equal t1.kernel_function t2.kernel_function