Layout.Range
val pretty :
'a Frama_c_kernel.Pretty_utils.formatter ->
'a range Frama_c_kernel.Pretty_utils.formatter
val overlap :
'a Frama_c_kernel.Pretty_utils.formatter ->
'a merger ->
'a range ->
'a range ->
'a range
val included : int -> int -> 'a range -> bool