Module V1.S16

type k
type t = k cint
include sig ... end
val of_repr : int -> t
val to_repr : t -> int
val min_int : t
val max_int : t
val zero : t
val one : t
val of_int_unsafe : int -> t
val to_int_unsafe : t -> int
val succ_unsafe : t -> t
val pred_unsafe : t -> t
val add_unsafe : t -> t -> t
val sub_unsafe : t -> t -> t
val addi_unsafe : t -> int -> t
val subi_unsafe : t -> int -> t
val map : (int -> (int, 'a) Stdlib.result) -> t -> (t, 'a) Stdlib.result
val map2 : (int -> int -> (int, 'a) Stdlib.result) -> t -> t -> (t, 'a) Stdlib.result
val of_int : int -> (t, error) Stdlib.result
val to_int : t -> (int, error) Stdlib.result
val succ : t -> (t, error) Stdlib.result
val pred : t -> (t, error) Stdlib.result
val add : t -> t -> (t, error) Stdlib.result
val sub : t -> t -> (t, error) Stdlib.result
val addi : t -> int -> (t, error) Stdlib.result
val subi : t -> int -> (t, error) Stdlib.result
val compare : t -> t -> int