Module Frama_c_kernel.Cil_state_builder

Functors for building computations which use kernel datatypes.