Module Db.Users

module Users: sig .. end
Functions used by another function.
See also internal documentation.

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