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