Module Frama_c_kernel.Project_skeleton

This module should not be used outside of the Project library.

Logging machinery

module Output : sig ... end

Type declaration

type t = private {
pid : int;
mutable name : string;
mutable unique_name : string;
}
  • since Carbon-20101201
type project = t
  • since Carbon-20101201

Constructor

val dummy : t
  • since Carbon-20101201
module Make_setter (X : sig ... end) : sig ... end