Module V1.BoundedUnsignedInt64

type repr = int64
val min_int : repr
val max_int : repr
val zero : repr
val one : repr
val of_int_unsafe : int -> repr
val to_int_unsafe : repr -> int
val add_unsafe : repr -> repr -> repr
val sub_unsafe : repr -> repr -> repr
val of_int : int -> (repr, error) Stdlib.result
val to_int : repr -> (int, error) Stdlib.result
val add : repr -> repr -> (repr, error) Stdlib.result
val sub : repr -> repr -> (repr, error) Stdlib.result
val compare : repr -> repr -> int