Offsetmap_sig
Signature for Offsetmap module, that implement efficient maps from intervals to arbitrary values.
Offsetmap
module type S = sig ... end
Frama-C