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: