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