package frama-c

  1. Overview
  2. Docs

doc/frama-c-e-acsl.core/E_ACSL/Interlang_build/index.html

Module E_ACSL.Interlang_build

Smart constructors for building expressions of the intermediate language.

module Exp : sig ... end
module Lhost : sig ... end
OCaml

Innovation. Community. Security.