Frama-C API - Range
val pretty : 'a Frama_c_kernel.Pretty_utils.formatter -> 'a range Frama_c_kernel.Pretty_utils.formatterval overlap : 'a Frama_c_kernel.Pretty_utils.formatter -> 'a merger -> 'a range -> 'a range -> 'a rangeval included : int -> int -> 'a range -> bool