Module Frama_c_kernel_base.Offsetmap_sig

Signature for Offsetmap module, that implement efficient maps from intervals to arbitrary values.