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