Lmap_sig
Signature for maps from bases to memory maps. The memory maps are intended to be those of the Offsetmap module.
Offsetmap
module type S = sig ... end
Frama-C