package frama-c

  1. Overview
  2. Docs

Module Frama_c_kernel.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 {
  1. pid : int;
  2. mutable name : string;
  3. mutable unique_name : string;
}
  • since Carbon-20101201
type project = t
  • since Carbon-20101201

Constructor

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