Users.Users_register
Functions used by another function.
internal documentation.
val get : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Kernel_function.Hptset.t