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