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