Module Users.Users_register

module Users_register: sig .. end

Functions used by another function.


val get : Cil_types.kernel_function -> Kernel_function.Hptset.t