sig
val
get :
(
Cil_types
.kernel_function
->
Kernel_function
.
Hptset
.t)
Pervasives
.ref
end