package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val apply : unit -> unit

adds all requested objects in the environment.

val extend : (unit -> unit) -> unit

request an addition in the environment. Use one of the functions below in the body of the argument.

OCaml

Innovation. Community. Security.