Module Frama_c_kernel.Offsetmap_sig

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

module type S = sig ... end