Module V1.MakeCheckedInteger

Parameters

module A : CHECKED_ARITH
module T : sig ... end

Signature

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