sig
  type t = Kernel_function.t
  val equal : Kernel_function.t -> Kernel_function.t -> bool
  val hash : Kernel_function.t -> int
  val compare : Kernel_function.t -> Kernel_function.t -> int
end