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