V1.S32
type k
type t = k cint
val of_int : int -> t
val to_int : t -> int
val zero : t
val one : t
val succ : t -> t
val pred : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val addi : t -> int -> t
val subi : t -> int -> t