Module Register.KfSorted

module KfSorted: sig .. end

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