Frama_c_kernel.Project_skeleton
This module should not be used outside of the Project library.
type t = private {
pid : int;
mutable name : string;
}
Had a mutable field unique_name
unique_name
type project = t
val dummy : t
module Make_setter () : sig ... end
val get_project_debug_name : t -> string
a project name appended with its id.