Frama_c_kernel.Project_skeleton
This module should not be used outside of the Project library.
type t = private {
pid : int;
mutable name : string;
mutable unique_name : string;
}
type project = t
val dummy : t
module Make_setter (_ : sig ... end) : sig ... end