Module Frama_c_kernel.Lmap_sig

Signature for maps from bases to memory maps. The memory maps are intended to be those of the Offsetmap module.

module type S = sig ... end