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) : sig ... end
Project_skeleton
This module should not be used outside of the Project library.
type project = t
val dummy : t
module Make_setter (_ : sig ... end) : sig ... end