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