let
equal =
Kernel_function
.equal