Frama-C API - Project_skeleton
This module should not be used outside of the Project library.
Type declaration
type project = t
Constructor
val dummy : t
module Make_setter () : sig ... end
val get_project_debug_name : t -> string