Module V1.S64

type k
type t = k cint
include sig ... end
val of_repr : BoundedSignedInt64.repr -> t
val to_repr : t -> BoundedSignedInt64.repr
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 : (BoundedSignedInt64.repr -> (BoundedSignedInt64.repr, 'a) Stdlib.result) -> t -> (t, 'a) Stdlib.result
val map2 : (BoundedSignedInt64.repr -> BoundedSignedInt64.repr -> (BoundedSignedInt64.repr, '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
val of_int64 : int64 -> t
val to_int64 : t -> int64