Module Cil_builder

module Cil_builder: sig .. end

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 WrongContext of string

module type T = sig .. end

module Stateful: functor (Location : T) -> sig .. end