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