Bound
type t
exception UnsupportedBoundExpression
val of_exp : Eva_ast.exp -> t
val of_integer : Frama_c_kernel.Z.t -> t
val succ : t -> t
Frama-C