package frama-c

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

This module is meant to build C or ACSL expressions in a unified way. Compared to "classic" Cil functions it also avoid the necessity to provide a location everywhere.

module Type : sig ... end
module Exp : sig ... end
module Pure : sig ... end
exception BuildError of string
module Stateful () : sig ... end