package frama-c

  1. Overview
  2. Docs

Module Frama_c_kernel.Cil_builder

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