Frama-C API - `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

Frama-C API - Cil_builder

Frama-C API - `Cil_builder`