Frama-C API - `Project_skeleton`

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

since Carbon-20101201

Logging machinery

module Output : sig ... end

Type declaration

type t = private {

pid : int;
mutable name : string;
mutable unique_name : string;

}

since Carbon-20101201

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf

type project = t

since Carbon-20101201

Constructor

val dummy : t

since Carbon-20101201

module Make_setter (_ : sig ... end) : sig ... end