Module Segmentation.Bound

module Bound: sig .. end

type t 
exception UnsupportedBoundExpression
val of_exp : Cil_types.exp -> t
val of_integer : Integer.t -> t
val succ : t -> t