package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 (X : sig ... end) : sig ... end