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