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