sig
  type t
  exception UnsupportedBoundExpression
  val of_exp : Cil_types.exp -> Segmentation.Bound.t
  val of_integer : Integer.t -> Segmentation.Bound.t
  val succ : Segmentation.Bound.t -> Segmentation.Bound.t
end