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