Range (frama-c-wp.Wp.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