sig val get : Kernel_function.t -> Kernel_function.Hptset.t end